Skip to content
@discus-lang

The Discus Language

Pinned Loading

  1. ddc Public

    The Disco Discus Compiler

    Haskell 174 19

  2. salt Public

    The compilation target that functional programmers always wanted.

    Haskell 62 3

  3. shimmer Public

    The Reflective Lambda Machine

    Haskell 8 1

  4. iron Public

    Coq formalizations of functional languages.

    Coq 143 9

  5. inchworm Public

    Simple parser combinators for lexical analysis.

    Haskell 6

  6. 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

    Haskell 0 126 0 0 Updated Jun 13, 2023
  • salt-theme Public

    Salt Plain Visual Studio Code Theme

    0 0 0 0 Updated Apr 3, 2023
  • salt-vscode Public

    Salt Visual Studio Code language extension

    TypeScript 3 0 0 4 Updated Dec 8, 2022
  • shivver Public

    Reflective Lambda Machine with Cold Storage

    C 0 0 0 0 Updated Sep 2, 2022
  • inchworm Public

    Simple parser combinators for lexical analysis.

    Haskell 6 0 0 0 Updated Nov 7, 2021
  • salt Public

    The compilation target that functional programmers always wanted.

    Haskell 62 3 0 0 Updated Aug 2, 2020
  • iron Public

    Coq formalizations of functional languages.

    Coq 143 9 0 0 Updated Jul 2, 2020
  • shimmer Public

    The Reflective Lambda Machine

    Haskell 8 MIT 1 0 0 Updated Oct 19, 2019
  • ddc Public

    The Disco Discus Compiler

    Haskell 174 19 0 1 Updated Feb 6, 2019
  • discus-bot Public

    IRC bot for the #discus-lang channel on freenode

    Haskell 1 0 0 0 Updated Jan 23, 2019
View all repositories

Top languages

Loading…

Most used topics

Loading…