pre-srfi / static-schemeLinks
☆13Updated 4 years ago
Alternatives and similar repositories for static-scheme
Users that are interested in static-scheme are comparing it to the libraries listed below
Sorting:
- ☆11Updated 4 years ago
- A template for structuring your Carp packages☆17Updated 5 years ago
- Dependently Typed Genetic Programming☆22Updated 13 years ago
- Probabilistic miniKanren☆61Updated 9 years ago
- The BitC Programming Language (unofficial, unaffiliated mirror)☆25Updated 13 years ago
- A DSL for runtime code generation in racket☆67Updated 3 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆132Updated last month
- HASKELL: Yale Haskell system written in Lisp☆100Updated 11 years ago
- Shen for Common Lisp (Unmaintained)☆128Updated last year
- Algebraic data types in Common Lisp☆139Updated 9 months ago
- ☆19Updated 2 years ago
- Synchronize directory hierarchies using Hash-Tree's☆22Updated 4 years ago
- LIL: abstract interfaces and supporting concrete data-structures in Common Lisp☆147Updated last year
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆21Updated 10 years ago
- Collection of Utilities for Gerbil Scheme☆43Updated 10 months ago
- Implementation for Common Lisp.☆92Updated 2 years ago
- Collection of syntax/parse macros☆30Updated 2 years ago
- An implementation of TLS and related specifications in Common Lisp☆55Updated last year
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆102Updated 3 years ago
- Shen/Scheme implementation☆116Updated 2 weeks ago
- A port of sweet expressions to Racket☆48Updated 2 years ago
- A manual (beh...) clone from bitbucket to use hosted CI service which only support GitHub☆50Updated last week
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- ☆28Updated 5 years ago
- Functional reactive programming in OCaml☆66Updated 14 years ago
- Quick and dirty syntax coloring for opencl kernels☆11Updated 2 weeks ago
- adqc - A version of C with verification and resource bounds☆23Updated 3 years ago
- ☆58Updated 8 years ago
- Searchable index of Scheme Lisp libraries☆20Updated 2 months ago
- Racket parser combinators inspired by parsack and megaparsec☆80Updated 7 months ago