Skip to content
@plancomps

PLanCompS project

Programming Language Components and Specifications

Pinned Loading

  1. plancomps.github.io plancomps.github.io Public

    PLanCompS: Programming Language Components and Specifications

    HTML 1

  2. CBS-beta CBS-beta Public

    Component-based specification of programming languages

    CSS 5 2

Repositories

Showing 9 of 9 repositories
  • funcons-tools Public

    A modular interpreter for executing funcons (Haskell)

    plancomps/funcons-tools’s past year of commit activity
    Haskell 5 MIT 2 0 0 Updated Aug 1, 2024
  • cbs-ide Public

    A prototype IDE for the CBS language specification framework

    plancomps/cbs-ide’s past year of commit activity
    HTML 0 1 0 0 Updated Oct 31, 2023
  • plancomps.github.io Public

    PLanCompS: Programming Language Components and Specifications

    plancomps/plancomps.github.io’s past year of commit activity
    HTML 1 0 1 0 Updated Apr 25, 2023
  • funcons-intgen Public
    plancomps/funcons-intgen’s past year of commit activity
    Haskell 0 MIT 0 0 0 Updated Apr 17, 2023
  • CBS-beta Public

    Component-based specification of programming languages

    plancomps/CBS-beta’s past year of commit activity
    CSS 5 2 0 0 Updated Apr 17, 2023
  • cbs-latex Public

    LaTeX, KaTeX, and MathJax for CBS specification formatting

    plancomps/cbs-latex’s past year of commit activity
    TeX 0 GPL-3.0 0 0 0 Updated Nov 27, 2022
  • funcons-values Public
    plancomps/funcons-values’s past year of commit activity
    Haskell 0 MIT 0 0 0 Updated Jun 26, 2021
  • cbs-dev Public

    Development and test repository for CBS

    plancomps/cbs-dev’s past year of commit activity
    TeX 0 GPL-3.0 0 0 0 Updated Apr 10, 2021
  • funcons-online-repl Public

    Front-end and web-server to interact with the funcons REPL

    plancomps/funcons-online-repl’s past year of commit activity
    JavaScript 0 0 0 0 Updated Apr 8, 2021

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

Loading…