KMahoney / squee

Related projects ⓘ

Alternatives and complementary repositories for squee

• serras / hinc
  Haskell In New Clothes
  ☆111Updated 4 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆110Updated 5 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆69Updated last week
• KeliLanguage / compiler
  The compiler for Keli
  ☆171Updated 5 years ago
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆75Updated 2 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆50Updated 4 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• channable / alfred-margaret
  Fast Aho-Corasick string searching
  ☆185Updated 2 months ago
• github / deli
  ☆166Updated 3 years ago
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆68Updated last year
• bmsherman / blog
  ☆41Updated 10 years ago
• cyrus- / relit
  Hygienic typed literal macros (TLMs) for Reason
  ☆208Updated 5 years ago
• xoba / sc
  storage combinators
  ☆18Updated 4 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• nikita-volkov / strelka
  A simple, flexible and composable web-router
  ☆85Updated 5 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆194Updated last year
• dfithian / chez-grater
  ☆37Updated last year
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 2 weeks ago
• cdosborn / lit
  A modern tool for literate programming
  ☆273Updated 7 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆81Updated this week
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 3 years ago
• kellino / microML
  a simple functional language for learners
  ☆30Updated 7 years ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆302Updated last year
• softwarefactory-project / dhall-ansible
  Ansible definitions with Dhall
  ☆66Updated 4 months ago
• nikita-volkov / jsonifier
  Fast and simple JSON encoding toolkit
  ☆83Updated 11 months ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆195Updated last week
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last month
• jamii / imp
  Various experiments in relational programming
  ☆270Updated 2 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 7 years ago