Alternatives and similar repositories for sc

Users that are interested in sc are comparing it to the libraries listed below

• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• awalterschulze / gominikanren
  a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
  ☆43Updated last year
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 4 years ago
• andrewchambers / vscode-acmeish
  A vscode extension to run system commands.
  ☆31Updated 6 years ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 4 years ago
• kevinawalsh / datalog
  A datalog prover and interpreter in Go.
  ☆36Updated 9 years ago
• eeue56 / coed
  Elm-style library for writing modern frontends
  ☆15Updated last week
• vilterp / treesql
  prototype: a relational database which supports live GraphQL-like queries. Written in Go with BoltDB storage.
  ☆37Updated 2 years ago
• cedricbonhomme / iterated-function-systems
  Iterated Function Systems fractals with OCaml.
  ☆34Updated 3 years ago
• gregfjohnson / aplette
  This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…
  ☆89Updated 2 years ago
• complyue / ooh
  PoC for Object Oriented Haskell
  ☆21Updated 5 years ago
• begriffs / wc
  Beating haskell with C
  ☆11Updated 5 years ago
• jtfmumm / pony-functional-data
  Functional data structures for Pony
  ☆44Updated 8 years ago
• zyrolasting / unlike-assets
  Racket's module resolver for non-Racket assets
  ☆20Updated 2 years ago
• ktye / iv
  APL interpreter and stream processor
  ☆132Updated 4 years ago
• norswap / prolog-dry
  A terse Prolog course
  ☆43Updated 6 years ago
• spy16 / parens
  Parens is a highly flexible and embeddable LISP toolkit.
  ☆33Updated 4 years ago
• david-pfx / Andl
  Andl is A New Database Language
  ☆75Updated 9 years ago
• jrockway / jsso2
  Self-hosted passwordless single signon.
  ☆33Updated 2 years ago
• grailbio / diviner
  Diviner is a serverless machine learning and hyper parameter tuning platform
  ☆22Updated 5 years ago
• ianthehenry / jimmy
  Janet bindings for the persistent data structure library "immer"
  ☆22Updated last year
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆92Updated 3 years ago
• poef / hope
  A render engine and editor for html markup that is stored seperate from the content - out of band - as Ted Nelson would like.
  ☆35Updated 3 years ago
• stapelberg / costream
  a co-programming / pair-programming twitch stream setup using H264/OPUS RTP (like WebRTC does)
  ☆87Updated 4 years ago
• mcapodici / badlanguage
  A lisp-looking language with interpreter and compiler to JS
  ☆28Updated 5 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• PingThingsIO / btrdb-explained
  ☆12Updated 6 years ago
• fsaintjacques / recordlite
  ☆50Updated last month
• rbryan / guile-lips
  lips style preprocessor implemented in guile.
  ☆9Updated 8 years ago
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 8 years ago