KMahoney / squee

Related projects ⓘ

Alternatives and complementary repositories for squee

• serras / hinc
  Haskell In New Clothes
  ☆111Updated 4 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆69Updated 8 months ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆110Updated 5 years ago
• KeliLanguage / compiler
  The compiler for Keli
  ☆171Updated 5 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆81Updated this week
• cyrus- / relit
  Hygienic typed literal macros (TLMs) for Reason
  ☆208Updated 5 years ago
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆75Updated 2 years ago
• darklang / philip2
  An Elm to OCaml compiler
  ☆205Updated 4 years ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆78Updated 2 years ago
• dfithian / chez-grater
  ☆37Updated last year
• janestreet / jenga
  Build system
  ☆90Updated 6 years ago
• prg-titech / magritte
  A language for pipe-based programming
  ☆51Updated last year
• kellino / microML
  a simple functional language for learners
  ☆30Updated 7 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆194Updated last year
• ollef / Bidirectional
  Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
  ☆129Updated 4 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆50Updated 4 years ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆302Updated last year
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆76Updated last year
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 7 years ago
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆68Updated last year
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated this week
• madgen / temporalog
  A Datalog extension to reason about time with CTL operators
  ☆14Updated 4 years ago
• robdockins / edison
  Edison: A Library of Efficient Data Structures
  ☆55Updated 10 months ago
• channable / alfred-margaret
  Fast Aho-Corasick string searching
  ☆185Updated 2 months ago
• nikita-volkov / jsonifier
  Fast and simple JSON encoding toolkit
  ☆83Updated 11 months ago
• cdosborn / lit
  A modern tool for literate programming
  ☆273Updated 7 years ago
• KMahoney / kuljet
  The Kuljet language
  ☆26Updated 3 years ago
• dlthomas / sql-viewer
  GHCJS front-end for queryparser
  ☆80Updated 6 years ago
• bennorth / literate-git
  Render hierarchical git repositories into HTML
  ☆73Updated 2 months ago