Skip to content
@discus-lang

The Discus Language

Pinned Loading

  1. ddc ddc Public

    The Disco Discus Compiler

    Haskell 174 19

  2. salt salt Public

    The compilation target that functional programmers always wanted.

    Haskell 62 3

  3. shimmer shimmer Public

    The Reflective Lambda Machine

    Haskell 8 1

  4. iron iron Public

    Coq formalizations of functional languages.

    Coq 140 10

  5. inchworm inchworm Public

    Simple parser combinators for lexical analysis.

    Haskell 6

  6. buildbox buildbox Public

    Rehackable components for writing buildbots and test harnesses.

    Haskell 1 2

Repositories

Showing 10 of 12 repositories
  • accelerate Public Forked from AccelerateHS/accelerate

    Embedded language for high-performance array computations

    discus-lang/accelerate’s past year of commit activity
    Haskell 0 122 0 0 Updated Jun 13, 2023
  • salt-theme Public

    Salt Plain Visual Studio Code Theme

    discus-lang/salt-theme’s past year of commit activity
    0 0 0 0 Updated Apr 3, 2023
  • salt-vscode Public

    Salt Visual Studio Code language extension

    discus-lang/salt-vscode’s past year of commit activity
    TypeScript 3 0 0 4 Updated Dec 8, 2022
  • shivver Public

    Reflective Lambda Machine with Cold Storage

    discus-lang/shivver’s past year of commit activity
    C 0 0 0 0 Updated Sep 2, 2022
  • inchworm Public

    Simple parser combinators for lexical analysis.

    discus-lang/inchworm’s past year of commit activity
    Haskell 6 0 0 0 Updated Nov 7, 2021
  • salt Public

    The compilation target that functional programmers always wanted.

    discus-lang/salt’s past year of commit activity
    Haskell 62 3 0 0 Updated Aug 2, 2020
  • iron Public

    Coq formalizations of functional languages.

    discus-lang/iron’s past year of commit activity
    Coq 140 10 0 0 Updated Jul 2, 2020
  • shimmer Public

    The Reflective Lambda Machine

    discus-lang/shimmer’s past year of commit activity
    Haskell 8 MIT 1 0 0 Updated Oct 19, 2019
  • ddc Public

    The Disco Discus Compiler

    discus-lang/ddc’s past year of commit activity
    Haskell 174 19 0 1 Updated Feb 6, 2019
  • discus-bot Public

    IRC bot for the #discus-lang channel on freenode

    discus-lang/discus-bot’s past year of commit activity
    Haskell 1 0 0 0 Updated Jan 23, 2019
View all repositories

Top languages

Loading…

Most used topics

Loading…