haroldl / whitespace-nd

Related projects ⓘ

Alternatives and complementary repositories for whitespace-nd

• ats-lang / ats-lang.github.io
  For hosting certain parts of http://www.ats-lang.org
  ☆26Updated last year
• bryal / carth
  The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/
  ☆22Updated last year
• fractalide / racket2nix
  Take an info.rkt file, produce a info.nix file.
  ☆39Updated 3 years ago
• haskell / zlib
  Compression and decompression in the gzip and zlib formats
  ☆35Updated 3 weeks ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• lexi-lambda / racket-tulip
  ☆15Updated 8 years ago
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated 5 months ago
• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• rudymatela / express
  Dynamically-typed Haskell expressions involving applications and variables.
  ☆22Updated 8 months ago
• mpcsh / ForML
  Bachelor's thesis 2019
  ☆12Updated last year
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 2 months ago
• jackfirth / racket-package-template
  My personal template repository for Racket packages
  ☆15Updated 4 years ago
• deech / shen-rust
  ☆34Updated 5 years ago
• thoughtstem / vr-engine
  Racket Lang for Virtual Reality (Aframe)
  ☆10Updated 4 years ago
• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆57Updated 4 years ago
• racket / parser-tools
  ☆11Updated last week
• xmonader / pyparsec
  python parser combinators (parsec) library
  ☆11Updated 6 years ago
• hellerve / carp-vim
  A Vim plugin for Carp
  ☆17Updated 3 years ago
• haskell-lisp / historic-lisk
  S-expression-based syntax alternative for Haskell.
  ☆21Updated 10 years ago
• Deewiant / glob
  Haskell library for glob matching
  ☆25Updated 2 years ago
• edwinb / idris2-clibs
  Idris 2 bindings to various C libraries
  ☆15Updated 3 years ago
• haskell / network-uri
  URI manipulation facilities
  ☆25Updated 2 months ago
• portnov / libssh2-hs
  LibSSH2 FFI bindings for Haskell
  ☆26Updated 5 months ago
• lesguillemets / sicp-haskell
  SICP in haskell, both exercises and sample codes.
  ☆10Updated 8 years ago
• NicklasBoto / BruSKI
  "DeBruijn to SKI" Untyped language that compiles to Unlambda
  ☆10Updated 3 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆22Updated 2 years ago
• kseo / fp
  John Backus' Functional Programming Systems
  ☆14Updated 8 years ago
• ziman / bibdris
  BibTeX database management in Idris
  ☆18Updated 10 years ago
• edwinb / WS-idr
  Yes, it is what you think it is
  ☆33Updated 8 years ago