seckcoder

seckcoder's Stars

• seckcoder/sicp

  my solutions to sicp

  Language:Racket3

• seckcoder/csapp

  Code for 15213 (Introduction to Computer Systems)

  Language:C22

• GaloisInc/ivory

  The Ivory EDSL

  Language:Haskell39528

• jeapostrophe/automata

  automata - macros to build automata over match patterns

  Language:Racket114

• ifigueroap/racket-quickcheck

  Quickcheck Clone implemented in Racket

  Language:Racket3116

• mattbierner/Super-Template-Tetris

  Tetris as a C++ Template Metaprogram

  Language:C++56160

• LeifAndersen/racket-to-c

  Language:Racket295

• Tencent/rapidjson

  A fast JSON parser/generator for C++ with both SAX/DOM style API

  Language:C++14.3k3.5k

• FranklinChen/clojure-transducers-in-haskell

  Clojure transducers in a typed setting, in Haskell

  Language:Haskell551

• prowdsponsor/esqueleto

  Bare bones, type-safe EDSL for SQL queries on persistent backends.

  Language:Haskell17851

• marcomaggi/vicare

  A native compiler for Scheme compliant with R6RS

  Language:Scheme20034

• akeep/nanopass-framework-racket

  Racket port of the nanopass-framework

  Language:Racket349

• HarvardPL/shill

  Scripting with Least Privilege

  Language:C1082

• Gabriella439/turtle

  Shell programming, Haskell style

  Language:Haskell94690

• alex/what-happens-when

  An attempt to answer the age old interview question "What happens when you type google.com into your browser and press enter?"

  40.3k5.5k

• clojure/core.typed

  An optional type system for Clojure

  Language:Clojure1.3k75

• CNMDR3G/CNMDR3G

  CN MonaD.ReadeR Reading Group

  Language:Shell1074

• lambdacube3d/lambdacube-edsl

  Previous version of LambdaCube 3D as Embedded Domain Specific Language in Haskell. Check the latest system:

  Language:Haskell20412

• sdiehl/write-you-a-haskell

  Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

  Language:Haskell3.4k255

• tomprimozic/type-systems

  Implementations of various type systems in OCaml.

  Language:OCaml1.5k71

• purescript/purescript

  A strongly-typed language that compiles to JavaScript

  Language:Haskell8.6k565

• Mokosha/Lambency

  A Real-Time Rendering framework written in Haskell

  Language:Haskell537

• bitemyapp/learnhaskell

  Learn Haskell

  Language:Makefile8k551

• BartoszMilewski/Okasaki

  Functional data structures in C++

  Language:C++56080

• takikawa/tr-pfds

  Typed Racket data structure libraries

  Language:Racket5813

• qiao/r7rs.js

  R7RS compliant Scheme implementation in JavaScript (Work in Progress)

  Language:JavaScript183

• yinyanghu/CLRS-Solutions

  Solutions to "Introduction to Algorithm, 3rd Edition"

  Language:TeX294142

• tomashanacek/mock-server

  Simple mock server for REST API

  Language:Python24593

• JeffBezanson/femtolisp

  a lightweight, robust, scheme-like lisp implementation

  Language:Scheme1.6k119

• akeep/nanopass-framework

  The new nanopass framework; an embedded DSL for writing compilers in Scheme

  Language:Scheme32142