pre-srfi / static-scheme
☆12Updated 3 years ago
Alternatives and similar repositories for static-scheme:
Users that are interested in static-scheme are comparing it to the libraries listed below
- A template for structuring your Carp packages☆17Updated 4 years ago
- ☆11Updated 4 years ago
- Probabilistic miniKanren☆62Updated 9 years ago
- The BitC Programming Language (unofficial, unaffiliated mirror)☆25Updated 12 years ago
- Dependently Typed Genetic Programming☆22Updated 13 years ago
- staged relational interpreters: running with holes, faster☆127Updated 2 months ago
- Quick and dirty syntax coloring for opencl kernels☆11Updated 4 months ago
- ☆18Updated last year
- LIL: abstract interfaces and supporting concrete data-structures in Common Lisp☆145Updated last year
- Functional reactive programming in OCaml☆66Updated 14 years ago
- minikanren mips assembler/disassembler☆29Updated 9 years ago
- Collection of Utilities for Gerbil Scheme☆43Updated 6 months ago
- ☆44Updated 3 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆20Updated 9 years ago
- The package manager for Cyclone Scheme.☆29Updated 11 months ago
- Algebraic data types in Common Lisp☆138Updated 5 months ago
- HASKELL: Yale Haskell system written in Lisp☆97Updated 11 years ago
- Gambit@30 talks and related documents☆41Updated 5 years ago
- Implementation for Common Lisp.☆91Updated last year
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- The ISSR backend for The Hunchentoot HTTP server.☆23Updated 3 years ago
- Concrete Syntax Trees represent s-expressions with source information☆60Updated last year
- Shen/Scheme implementation☆104Updated 5 months ago
- the Art of the Propagator☆51Updated 12 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- An implementation of TLS and related specifications in Common Lisp☆55Updated last year
- Ada 2012 binding to Vulkan☆17Updated 8 years ago
- Bindings for llvm in racket☆65Updated 9 years ago
- A Common Lisp queue library with features such as non-consing thread safe queues and fibonacci priority queues☆48Updated 2 years ago
- ☆57Updated 7 years ago