crsx / hacs

Related projects ⓘ

Alternatives and complementary repositories for hacs

• greghendershott / aws
  Racket support for Amazon Web Services.
  ☆78Updated last week
• jamii / strucjure
  A library for doing stuff to other stuff.
  ☆213Updated 10 years ago
• readevalprintlove / black
  Kenichi Asai's reflective programming language Black
  ☆195Updated 2 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆46Updated 7 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆178Updated 4 years ago
• mattmight / uiki
  A bare-bones academic wiki with LaTeX and (multi)markdown support
  ☆70Updated 9 years ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆140Updated 8 years ago
• bodil / BODOL
  The common BODil Oriented Language
  ☆312Updated 7 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 6 years ago
• kogir / rark
  a Racket language inspired by ARc, by Kogir
  ☆29Updated 11 years ago
• bodil / microkanrens
  Implementations of µKanren in assorted languages
  ☆61Updated 8 years ago
• epsil / gll
  General Parser Combinators in Racket
  ☆195Updated 8 years ago
• thomasballinger / dalsegno
  Repeat from the sign
  ☆80Updated 8 years ago
• ericnormand / hindley-milner
  An implementation of Hindley-Milner in Clojure.
  ☆166Updated 10 years ago
• jduey / toccata
  A Clojure dialect that compiles to native executable using the Clang compiler
  ☆94Updated 6 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 8 years ago
• coding-robots / iwl
  Previous version of "I Write Like" written in Racket
  ☆58Updated 8 years ago
• talw / crisp-compiler
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆99Updated 8 years ago
• echeran / clj-thamil
  A project encompassing various Thamil language-specific computing ideas
  ☆45Updated 9 months ago
• artagnon / rhine-ml
  🏞 an OCaml compiler for an untyped lisp
  ☆631Updated 9 years ago
• bwo / monads
  yet another monad lib for clojure
  ☆93Updated 6 years ago
• eatonphil / ponyo
  Library and Toolkit for Standard ML
  ☆144Updated last year
• latte-central / LaTTe
  LaTTe : a Laboratory for Type Theory experiments (in clojure)
  ☆256Updated 11 months ago
• Frege / frege-lein-plugin
  Support Frege compiler via leiningen
  ☆33Updated 8 years ago
• theronic / cljs-snake
  Snake in 100 lines of ClojureScript using Reagent for a #TechTalk at UCT
  ☆21Updated last year
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 9 years ago
• jbclements / molis-hai
  Password Generation using Markov models, Huffman trees, and Charles Dickens
  ☆43Updated 5 years ago
• ntoronto / drbayes
  Dr. Bayes
  ☆83Updated 8 years ago
• aaron-lebo / prose
  a simple language inspired by Io and Ioke that compiles to Clojure and ClojureScript
  ☆52Updated 9 years ago
• halgari / mjolnir
  ☆266Updated 11 years ago