Foxboron / Hype
Function annotations for Hylang!
☆11Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for Hype
- Hy Monad Notation - a monad library for Hy☆54Updated 10 months ago
- Loghyc - a miniKanren implementation in Hy☆89Updated 4 years ago
- Union types and some other functional-y stuff for Hy☆50Updated 8 years ago
- Hy on μKanren☆19Updated 8 years ago
- The Hy Transformer☆81Updated 5 years ago
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- ☆71Updated 9 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- Support for code-reloading for long-running racket programs (such as web-servers).☆62Updated last year
- Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically de…☆68Updated last year
- The first (and only) Hy unit testing framework☆29Updated 7 years ago
- A basic Parsec-like monadic parser combinator library implementation in Racket.☆50Updated last year
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 9 years ago
- #lang clojure☆121Updated 9 years ago
- (Somewhat) Algebraic Data Types for Racket☆35Updated last year
- Data Structure Optimization for Functional Programs☆33Updated 5 years ago
- SWANK server for Chicken Scheme☆49Updated 4 months ago
- Generic collections API for Racket☆52Updated 2 years ago
- 3-dimensional picts☆113Updated last year
- The Ntha Programming Language☆93Updated 7 years ago
- General Parser Combinators in Racket☆195Updated 8 years ago
- exploratory programming for an object system in common lisp☆14Updated 9 years ago
- Continuous testing for DrRacket☆32Updated 9 years ago
- Elasticsearch bindings for Racket☆9Updated 6 years ago
- an experimental video game development environment☆104Updated 3 years ago
- IRC bot for Hy☆23Updated 10 years ago
- NREPL for Hy☆114Updated 3 years ago
- A collection of things I found useful for doing Machine Learning problem sets.☆25Updated 5 years ago
- Don't Lisp, Talk!☆58Updated 6 months ago
- Examples of the nice parts of Racket☆22Updated 7 years ago