codereport / city-strides-hackingLinks
Python scripts that build optimal routes for node collection
☆12Updated this week
Alternatives and similar repositories for city-strides-hacking
Users that are interested in city-strides-hacking are comparing it to the libraries listed below
Sorting:
- Demo for dependent types + runtime code generation☆72Updated 9 months ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆117Updated 3 weeks ago
- A work-in-progress core language for Agda, in Agda☆61Updated 2 weeks ago
- Fast equality saturation in Haskell☆91Updated last month
- ☆46Updated 3 months ago
- Agda lecture notes for the Functional Programming course at TU Delft☆130Updated 4 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆39Updated 3 months ago
- Benchmarks for capture-avoiding substitution☆121Updated 6 months ago
- Apple array system☆68Updated 2 weeks ago
- Functional choreographic programming in Haskell☆113Updated 6 months ago
- Rough and Ready Haskell Notebooks with HLS and VS Code☆48Updated 3 years ago
- PhD course on Functional Programming and Climate Impact Research☆50Updated 3 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆93Updated this week
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆119Updated last week
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆45Updated 10 months ago
- # A simple variable binding library based on well-scoped indices and environments☆28Updated last month
- ☆12Updated 5 years ago
- high-performance cubical evaluation☆76Updated 7 months ago
- Slides and handwritten notes on the course on models of programming languages☆51Updated 5 years ago
- Effective Algebraic Topology in Haskell☆90Updated last year
- A compiler for functional programs on serialized data☆173Updated last week
- A type theory with native support for Polynomial Functors.☆41Updated 2 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 4 months ago
- A verified compiler for a lazy functional language☆37Updated last week
- Competitive programming utilities in Haskell☆41Updated 2 months ago
- Toy implementation of Martin-Löf Type Theory☆30Updated 3 years ago
- Staged compilation with dependent types☆185Updated 7 months ago
- ☆64Updated 3 years ago
- linear algebra done right in coq☆11Updated 4 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago