ralsei / Monado

Related projects: ⓘ

• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 3 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆47Updated 4 years ago
• xlq / aos
  Applied operating system - an operating system kernel written in the ATS programming language.
  ☆44Updated 12 years ago
• texodus / forml
  A programming language
  ☆76Updated 11 years ago
• deech / ATSPresentation
  ☆20Updated 9 years ago
• puffnfresh / atsboot
  A tiny 32 bit kernel written in ATS
  ☆26Updated 10 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• gatlin / psilo
  a parallel, safe, iterative list operation language for systems programming
  ☆16Updated 4 years ago
• harlanhaskins / hasm
  An Assembly-like programming language and interpreter in Haskell
  ☆16Updated 8 years ago
• japesinator / tarts
  Timing attack resistant type systems
  ☆24Updated 9 years ago
• jats-ug / ATS_Foundations
  Book: ATS programming foundations
  ☆9Updated 9 years ago
• tov / alms
  The Alms Programming Language
  ☆43Updated 6 years ago
• ajhc / ajhc
  A fork of jhc. And also a Haskell compiler.
  ☆134Updated 5 years ago
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 6 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆43Updated 4 years ago
• mboes / hmk
  A pure Haskell implementation of Plan9's mk
  ☆16Updated 8 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆65Updated 9 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 8 years ago
• noteed / language-glsl
  Haskell package for representation, parsing, and pretty-printing of GLSL
  ☆31Updated last year
• andyarvanitis / idris-cplusplus
  Experimental C++11 backend for Idris
  ☆14Updated 9 years ago
• IntelLabs / flrc-lib
  Pillar compiler, Pillar runtime, garbage collector.
  ☆23Updated last year
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• fare / moll
  My Own Linear Lisp
  ☆36Updated 6 years ago
• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 6 years ago
• BekaValentine / SimpleFP
  A series of implementations of a simple functional programming language.
  ☆30Updated 8 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆54Updated 11 years ago
• cocreature / reactand
  Tiling window manager for wayland
  ☆16Updated 8 years ago
• lambdacube3d / lambdacube-ir
  LambdaCube 3D intermediate representation of 3D graphics pipelines. See:
  ☆8Updated 10 months ago