hosuaby / jq-voronoiLinks
Implementation of Voronoi with jq
☆11Updated 4 years ago
Alternatives and similar repositories for jq-voronoi
Users that are interested in jq-voronoi are comparing it to the libraries listed below
Sorting:
- A collection of formulas needed for everyday calculations in geometric algebra and calculus☆19Updated 8 years ago
- a syntax directed editor☆17Updated last year
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Updated 6 years ago
- Javascript implementation of Fractran☆15Updated 8 years ago
- Lambda calculus go brrrr☆30Updated 2 years ago
- Dhall support for the DOT language for graphviz☆38Updated 3 years ago
- Work in progress pure python dhall interpreter☆27Updated 7 years ago
- A collaborative structural editor for structured rich document with VIM-like keybindings☆18Updated 6 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆15Updated 11 months ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆16Updated 3 years ago
- Haskell Package for operating with selections over an underlying functor☆22Updated 5 years ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Updated 7 years ago
- ☆44Updated 3 years ago
- Lua backend for Idris 2☆28Updated 3 years ago
- S-expression-based syntax alternative for Haskell.☆22Updated 12 years ago
- Lua implemented in Mercury☆15Updated last year
- Crazy figures and animations with Haskell☆34Updated 7 years ago
- A Scheme compiler to Lua bytecode☆22Updated 8 years ago
- Just a little reminder of how much time of your life you've already wasted 😉☆21Updated 10 months ago
- Library for invertible parsing and printing☆33Updated 5 months ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 7 years ago
- Benchmarking tool with focus on comparing results.☆16Updated last year
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 4 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- A Vim plugin for Carp☆17Updated 4 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 6 years ago
- Interactive factorization diagrams☆31Updated 2 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Updated 9 months ago
- the bash templating language☆53Updated 2 years ago
- An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.☆40Updated 4 years ago