cartazio / language-c

Related projects ⓘ

Alternatives and complementary repositories for language-c

• fpco / haskell-filesystem
  Contains the system-filepath and system-fileio packages
  ☆9Updated last week
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆28Updated last month
• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated last year
• gatlin / psilo
  a parallel, safe, iterative list operation language for systems programming
  ☆16Updated 4 years ago
• quchen / show-prettyprint
  Robust prettyprinter for output of auto-generated Show instances
  ☆18Updated 4 years ago
• suhr / wcpl
  ☆16Updated 6 years ago
• texodus / forml
  A programming language
  ☆76Updated 11 years ago
• mboes / hmk
  A pure Haskell implementation of Plan9's mk
  ☆16Updated 8 years ago
• visq / llvm-regexp
  Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM
  ☆14Updated 14 years ago
• rudymatela / extrapolate
  generalize counter-examples of property-based testing
  ☆13Updated 9 months ago
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 2 years ago
• minad / intro
  Safe and minimal Haskell Prelude
  ☆10Updated 4 years ago
• LightAndLight / lambdapi
  Educational implementation of dependent types
  ☆19Updated 6 years ago
• avsm / EpiVM
  Epic - a Supercombinator Compiler
  ☆11Updated 14 years ago
• well-typed / lens-sop
  Computing lenses generically using generics-sop
  ☆15Updated 3 weeks ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated 2 weeks ago
• steinwaywhw / ats-parcc
  A parsing combinator library.
  ☆10Updated 7 years ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆72Updated 11 years ago
• minad / persist
  Minimal binary serialization library with focus on performance
  ☆17Updated 3 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago
• haskell / xhtml
  XHTML combinator library
  ☆9Updated this week
• pepeiborra / term
  Term Rewriting Systems
  ☆17Updated 9 years ago
• RyanGlScott / echo
  A cross-platform, cross-console way to handle echoing terminal input
  ☆10Updated 3 years ago
• rudymatela / express
  Dynamically-typed Haskell expressions involving applications and variables.
  ☆22Updated 9 months ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated last year
• kazu-yamamoto / unix-time
  Fast time library
  ☆21Updated 3 weeks ago
• egison / backtracking
  Backtracking monad in Haskell
  ☆14Updated 2 years ago
• nikita-volkov / slave-thread
  A principal solution to ghost threads and silent exceptions
  ☆24Updated last year
• david-christiansen / idris-code-highlighter
  A semantic highlighter for Idris code
  ☆14Updated 6 years ago