abdulapopoola / TADMBook

Related projects ⓘ

Alternatives and complementary repositories for TADMBook

• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated last year
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 7 years ago
• vijayphoenix / Compiler-written-in-Haskell
  A Turing complete language 😉
  ☆40Updated 4 years ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated last week
• anurudhp / CPHaskell
  A collection of templates and solutions for Competitive Programming in Haskell
  ☆27Updated 2 years ago
• soupi / x86-debug
  (a subset of) x86 assembly debugger
  ☆11Updated 2 years ago
• adithya-tp / Lex-Yacc-Translator
  A translator built with Lex and Yacc.
  ☆23Updated 4 years ago
• conal / talk-2015-more-elegant-frp
  A more elegant specification for FRP
  ☆24Updated 10 months ago
• cfredric / NumberTheory
  A Haskell number theory library.
  ☆13Updated 7 years ago
• Fryie / database.c
  Toy database project in C
  ☆12Updated 7 months ago
• jaseemabid / inc
  An incremental approach to compiler construction
  ☆80Updated 4 years ago
• conal / quotes
  My favorite quotes
  ☆17Updated 3 months ago
• ChrisPenner / Candor
  A toy Parser+Compiler+Typechecker
  ☆12Updated last year
• lesguillemets / sicp-haskell
  SICP in haskell, both exercises and sample codes.
  ☆10Updated 8 years ago
• OlivierNicole / haskell-chess
  A very simple chess engine written in Haskell (work in progress).
  ☆18Updated 6 years ago
• aimyskk / competitive-haskell
  Snippets for competitive programming in Haskell
  ☆22Updated 7 years ago
• amcphail / plot
  Plot package similar to gnuplot
  ☆23Updated 7 months ago
• tweag / ghc-proposals
  Proposed compiler and language changes for GHC and GHC/Haskell
  ☆10Updated this week
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• obsidiansystems / gargoyle
  A framework for managing daemons from Haskell and libraries for use with postgresql and nix
  ☆18Updated last month
• haskell-perf / xml
  Simple benchmarks for XML parsing libraries
  ☆11Updated 6 years ago
• bollu / coremlir
  Encoding of GHC Core inside MLIR
  ☆18Updated 3 years ago
• edsko / friendly
  Generic pretty-printer for program output
  ☆12Updated 9 months ago
• fpco / schoolofhaskell.com
  ☆16Updated 4 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆46Updated last week
• haskell-distributed / distributed-process-demos
  Cloud Haskell Demonstration
  ☆18Updated 9 years ago
• haskell-perf / csv
  Simple comparative benchmarks for CSV parsing libraries
  ☆17Updated 5 years ago
• jyp / topics
  Various interesting topics I'm looking at
  ☆13Updated 15 years ago
• NicolasT / paxos
  A Haskell library implementing several Paxos-related algorithms
  ☆25Updated 11 years ago