Skip to content
Change the repository type filter

All

    Repositories list

    • pyrgos

      Public
      A tower of languages/a collection of toy languages
      Haskell
      MIT License
      2300Updated Jun 8, 2023Jun 8, 2023
    • aoc

      Public
      A language designed around solving AoC puzzles
      Haskell
      0100Updated Dec 25, 2021Dec 25, 2021
    • metacore

      Public
      Metaprogramming core language (for learning compilers, &c.)
      C
      MIT License
      0100Updated Aug 20, 2020Aug 20, 2020
    • void

      Public archive
      A fearless modern text editor in the spirit of Vim
      F#
      MIT License
      1300Updated Jul 9, 2020Jul 9, 2020
    • nerodu

      Public
      set("unordered") = {'n', 'e', 'r', 'o', 'd', 'u'}
      Idris
      MIT License
      0000Updated Nov 27, 2019Nov 27, 2019
    • mappy

      Public
      A functional programming language. Like LISP but focused around maps rather than lists.
      Haskell
      BSD 3-Clause "New" or "Revised" License
      112350Updated Jun 12, 2019Jun 12, 2019
    • A new way to write free-form, minimalistic specs (tests) in Python that favor natural language
      Python
      MIT License
      0100Updated Mar 19, 2018Mar 19, 2018
    • A port of plzoo's minihaskell in Idris
      Idris
      0100Updated Dec 8, 2017Dec 8, 2017
    • nosh

      Public
      Nope syntax language hosting Semacrolon macro language preprocessing for Happle functional language
      Idris
      MIT License
      0100Updated Jun 28, 2017Jun 28, 2017
    • ramda

      Public
      🐏 Practical functional Javascript
      JavaScript
      MIT License
      1.4k000Updated Aug 12, 2016Aug 12, 2016
    • sandline

      Public
      Draw a line in the sand between your pure and impure code (F#)
      F#
      MIT License
      1000Updated Jun 30, 2016Jun 30, 2016
    • scheme

      Public
      A Haskell implementation of Scheme interpreter
      Haskell
      BSD 3-Clause "New" or "Revised" License
      12000Updated May 15, 2016May 15, 2016
    • The Polyglot Symposium dabbling in many languages
      Idris
      0000Updated Mar 25, 2016Mar 25, 2016
    • A for-fun project to learn Haskell by building a text-based game a la Hack or Chip's Challenge
      Haskell
      MIT License
      0100Updated Mar 16, 2016Mar 16, 2016
    • void.idr

      Public
      Experimental Vim-like editor in Idris
      Idris
      MIT License
      0110Updated Mar 16, 2016Mar 16, 2016
    • elm-exts

      Public
      Experimental Core Extensions for Elm
      Elm
      9000Updated Jan 30, 2016Jan 30, 2016
    • Compiler for the Elm programming language. Elm aims to make web development more pleasant. Elm is a type inferred, functional reactive language that compiles to HTML, CSS, and JavaScript.
      Haskell
      BSD 3-Clause "New" or "Revised" License
      662000Updated Jan 21, 2016Jan 21, 2016
    • eloquence

      Public
      Haha, the name's a joke, this is really just lisp
      Haskell
      0070Updated Nov 21, 2015Nov 21, 2015
    • mm-i

      Public
      MM/I - the Polyglot Symposium's first experimental exploration into language design and compiler construction
      Python
      MIT License
      0000Updated Jan 3, 2015Jan 3, 2015
    • Data Structures, Algorithms, Existentialism, TDD, Clojure & Scala... Because why not?
      Clojure
      0100Updated Aug 31, 2014Aug 31, 2014
    • gosoon

      Public
      Project to learn Go by building a JSON serializer
      Go
      0000Updated Aug 15, 2014Aug 15, 2014