epilnivek / kes

Related projects: ⓘ

• patrickt / bracer
  a language workbench for parsing and transforming curly-brace languages
  ☆42Updated 8 years ago
• purcell / darcs-to-git
  Convert/mirror darcs repos into git repos
  ☆96Updated 4 months ago
• textmate / haskell.tmbundle
  TextMate support for Haskell
  ☆53Updated 3 years ago
• mpw / pLucid-osx
  A "port" of plucid that works on OS X
  ☆12Updated 9 years ago
• stevedekorte / oia
  ☆23Updated this week
• gregwebs / haskell-heroku
  Haskell helpers for deploying to Heroku
  ☆18Updated 9 years ago
• mbbx6spp / sinatra-on-nix
  An example Sinatra project using Nix to configure the development environment
  ☆14Updated 7 years ago
• mrb / idris-ruby
  Yes, really!
  ☆11Updated 9 years ago
• google / clang-lens
  ☆20Updated 8 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆18Updated 5 years ago
• batterseapower / test-framework
  Framework for running and organising QuickCheck test properties and HUnit test cases
  ☆83Updated 6 years ago
• built / wheeler
  Wheeler is a programming language
  ☆42Updated 11 years ago
• jonsterling / Lens.hpp
  Functional Lenses in C++
  ☆21Updated 13 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆14Updated 6 years ago
• jgm / filestore
  A versioning file store backed by git, darcs, or mercurial
  ☆29Updated 4 months ago
• ggreg / kaleidoscope
  An alternative to the LLVM Tutorial in C++
  ☆10Updated 9 years ago
• yesodweb / benchmarks
  Collection of various Haskell web benchmarks
  ☆44Updated 11 years ago
• sourrust / hyakko
  Literate-style Documentation Generator
  ☆17Updated 9 years ago
• HuwCampbell / zebra
  Column-oriented binary format for immutable datasets
  ☆8Updated 4 years ago
• chrisdone-archive / flo
  Generate flow charts from your code base.
  ☆15Updated 9 years ago
• tonyg / js-vau
  Kernel-like interpreter
  ☆23Updated 12 years ago
• jgm / pandoc2
  ☆25Updated this week
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆29Updated 8 years ago
• briantrice / slate-language
  The Slate programming language
  ☆145Updated 11 months ago
• cruxlang / crux
  Crux Programming Language
  ☆51Updated 2 years ago
• GaloisInc / llvm-verifier
  The LLVM Symbolic Simulator, part of SAW.
  ☆21Updated 4 years ago
• haberman / gazelle
  A system for creating fast, reusable parsers
  ☆168Updated 9 years ago
• ziman / bibdris
  BibTeX database management in Idris
  ☆18Updated 10 years ago
• NVIDIA / remorac
  ☆39Updated 8 years ago