typedclojure / core.typed
Mirror of core.typed for internal development.
☆14Updated 5 years ago
Related projects: ⓘ
- ☆15Updated this week
- Clojure macros for decorating functions☆25Updated 8 years ago
- A Clojure AST transformation library☆39Updated 11 years ago
- Experiments with fast term-rewriting in clojure☆63Updated 9 years ago
- Parsing with "disambiguation filters" in Clojure☆22Updated 7 years ago
- Support Frege compiler via leiningen☆32Updated 8 years ago
- A POC implementation of muKanren using CSP (core.async)☆31Updated 10 years ago
- a numerical computing library for Clojure☆22Updated 6 years ago
- Extensible Clojure☆106Updated 8 years ago
- A clojure library for bypassing java protected fields☆45Updated 11 years ago
- Continuation Passing Style macro compiler for Clojure☆59Updated 7 years ago
- efficient small collections for clojure☆179Updated 9 years ago
- yet another monad lib for clojure☆93Updated 6 years ago
- ☆53Updated 2 months ago
- Experimental typed JVM Lisp inspired by Clojure☆32Updated 6 years ago
- A demo for Automatic Annotation inference for Typed Clojure☆22Updated 8 years ago
- DEPRECATED: use funcool/promesa☆18Updated 8 years ago
- Command-line library for Clojure☆27Updated 8 years ago
- Minimal Clojure-like interpreter with FEXPRs☆16Updated 12 years ago
- The metacircular evaluator(ish)☆16Updated 9 years ago
- STM ref types that allow for more concurrency on associative values.☆95Updated 10 years ago
- Property-based testing with inputs defined as EBNF grammars☆28Updated 4 years ago
- A Library of Morphisms: Monoids, Functors, and Monads☆88Updated 9 years ago
- Reversing instaparse with core.logic☆77Updated 8 years ago
- contrib.datalog brought back to life☆53Updated 10 years ago
- NOTE: This repository is obsolete. Was: A pilot project to use Clojure for introductory computer science courses at the University of Min…☆20Updated 6 years ago
- What's the simplest Turing Machine with unknown behavior?☆13Updated 8 years ago
- Sequence Expressions☆138Updated 6 years ago
- Runnable examples for Typed Clojure paper☆12Updated 9 years ago
- Leiningen plugin for Typed Clojure☆82Updated 5 years ago