GaloisInc / mistral

Related projects ⓘ

Alternatives and complementary repositories for mistral

• texodus / forml
  A programming language
  ☆76Updated 11 years ago
• avsm / EpiVM
  Epic - a Supercombinator Compiler
  ☆11Updated 14 years ago
• GaloisInc / gidl
  Gidl: an Interface Description Language
  ☆10Updated 7 years ago
• bwkimmel / secd
  SECD Machine Implementation in x86 Assembly
  ☆23Updated 10 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 8 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• GaloisInc / salty
  A DSL for generating GR(1) problems
  ☆11Updated 3 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆65Updated 9 years ago
• evincarofautumn / protodata
  A textual language for binary data.
  ☆37Updated 2 years ago
• cartazio / language-c
  git mirror of language-c darcs repo at http://code.haskell.org/language-c
  ☆11Updated last year
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆33Updated 4 years ago
• gatlin / psilo
  a parallel, safe, iterative list operation language for systems programming
  ☆16Updated 4 years ago
• erjiang / foxscheme
  An R5RS Scheme in JavaScript.
  ☆16Updated last year
• lambdacube3d / lambdacube-ir
  LambdaCube 3D intermediate representation of 3D graphics pipelines. See:
  ☆8Updated last year
• haskell / xhtml
  XHTML combinator library
  ☆9Updated 4 months ago
• visq / llvm-regexp
  Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM
  ☆14Updated 14 years ago
• martijnbastiaan / sprockell
  Simple processor in Haskell
  ☆11Updated 9 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 8 years ago
• TikhonJelvis / array-forth
  A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.
  ☆26Updated 3 years ago
• charles-l / po
  minimal lisp that compiles to x86
  ☆10Updated 7 years ago
• flavioc / meld
  Meld virtual machine.
  ☆29Updated 8 years ago
• ojarjur / multischeme
  Compile-time multitasking support for the Scheme programming language
  ☆37Updated 9 years ago
• japesinator / tarts
  Timing attack resistant type systems
  ☆24Updated 9 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 12 years ago
• wyc / snippets
  ☆52Updated 7 years ago
• GaloisInc / http-server
  A Haskell HTTP server
  ☆23Updated 7 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 8 years ago
• vellvm / vellvm-legacy
  ☆33Updated 9 years ago