cedricbonhomme / iterated-function-systems
Iterated Function Systems fractals with OCaml.
☆35Updated 3 years ago
Alternatives and similar repositories for iterated-function-systems
Users that are interested in iterated-function-systems are comparing it to the libraries listed below
Sorting:
- AFIT, which is initially an EPITA school project , offers a practical exploration of IT arithmetic and cryptography. This repository cove…☆9Updated last year
- Prep a new switch instantly.☆20Updated 7 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- A loyal and faithful synchronisation tool that you can rely on.☆47Updated 8 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆65Updated 3 years ago
- ☆60Updated 5 years ago
- A Hodgepodge of functions for living in the OCaml ecosystem☆62Updated 5 years ago
- Getting Widespread OCaml Adoption☆85Updated 7 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 9 years ago
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- The consistent distributed key-value store in Open vStorage.☆29Updated 5 years ago
- Private extraction of astrada's lens library☆66Updated 3 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- OCaml bindings for D3.js☆75Updated 6 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 10 years ago
- An OCaml javascript kernel for the IPython notebook☆58Updated 7 years ago
- Build system☆90Updated 6 years ago
- An embedding of miniKanren in Shen.☆25Updated 9 years ago
- Tool for uploading unikernels into EC2☆76Updated 6 years ago
- A tool to index your papers/interesting links/... and quickly search through them☆49Updated 3 years ago
- OCaml tutorial based on the 2048 game☆49Updated 8 years ago
- Mindless, verified (erasably) coding using dependent types, phase 2☆20Updated 4 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- ☆38Updated 9 years ago
- Classroom demonstration of costly state verification in finance☆16Updated 10 years ago
- Clojure's Transducers in Haskell☆40Updated 8 years ago
- Propositional calculus in Haskell☆11Updated 8 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago