hadashiA / sexpression

Related projects ⓘ

Alternatives and complementary repositories for sexpression

• Sleepyowl / jsprolog
  A simple Prolog interpreter written with javascript
  ☆16Updated 7 years ago
• suhr / wcpl
  ☆16Updated 6 years ago
• agoric-labs / jessica
  Jessica - Jessie (secure distributed Javascript) Compiler Architecture
  ☆36Updated last year
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 4 years ago
• oscoin / oscoin
  Oscoin Full Node Implementation in Haskell (Work in Progress)
  ☆24Updated 4 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆14Updated 6 years ago
• VictorTaelin / Elementary-Affine-Core-legacy
  A simple, untyped, terminating functional language that is fully compatible with optimal reductions.
  ☆17Updated 5 years ago
• fab13n / lamtez
  An ML-inspired smart contract language, compiling to Tezos' Michelson VM
  ☆22Updated 7 years ago
• cwgoes / tm-proposer-idris
  Formalization of Tendermint proposer election properties
  ☆15Updated 5 years ago
• gstew5 / snarkl
  ☆59Updated 2 years ago
• mattbierner / atum
  Javascript Interpreter in Functional-Style Javascript
  ☆19Updated 6 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 8 years ago
• Soonad / Formality-Net-Animator
  Animations for Elementary-Affine-Net interactions
  ☆11Updated 5 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆30Updated 7 years ago
• zenprotocol / contracts
  Contract examples
  ☆10Updated 2 years ago
• vmx / jslens
  Bidirectional transformation with lenses
  ☆28Updated 2 years ago
• creationix / ts-git
  TypeScript re-implementation of js-git (aka js-git 2.0)
  ☆11Updated 8 years ago
• ipfs-shipyard / peer-crdt
  Peer CRDT
  ☆60Updated 5 years ago
• petertodd / python-merbinnertree
  (Summed) Merklized Binary Radix Tree library
  ☆16Updated 8 years ago
• oleiman / sweet-contracts
  A collection of sweet.js macros that provide contract support for JavaScript!
  ☆55Updated 11 years ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆101Updated 9 years ago
• alltom / propagators
  JavaScript implementation of Radul and Sussman's Propagator model
  ☆15Updated 10 years ago
• ewasm / wasm-metering
  [ORPHANED] Injects metering into webassembly binaries
  ☆72Updated 2 years ago
• ConsenSysMesh / Fae
  A functional smart contract system
  ☆6Updated 5 years ago
• Gozala / js-tail-call
  JS tail recursion shim through trampolining
  ☆37Updated 12 years ago