wingo / pictie
C++-to-webassembly testbed, in the form of a simple graphics library
☆14Updated 5 years ago
Alternatives and similar repositories for pictie:
Users that are interested in pictie are comparing it to the libraries listed below
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- Guile with tracing JIT VM.☆15Updated 8 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 8 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- Mindless, verified (erasably) coding using dependent types, phase 2☆20Updated 4 years ago
- An easy interface on top of the Irmin library.☆45Updated 4 years ago
- Hash Array Mapped Tries for Racket☆20Updated 8 years ago
- An OCaml javascript kernel for the IPython notebook☆58Updated 7 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- The Ur/Web People Organizer☆30Updated 11 months ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- A microKanren framework for implementing constraints.☆18Updated 6 years ago
- OCaml support for Flycheck using Merlin☆22Updated last year
- Racket-based implementation of Adapton☆22Updated 5 years ago
- (Nominal) Adapton in OCaml☆53Updated 8 years ago
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 3 years ago
- Small Scheme interpreter and compiler☆14Updated 9 years ago
- A loyal and faithful synchronisation tool that you can rely on.☆47Updated 8 years ago
- Optimization Coach Plug-In for DrRacket☆20Updated last month
- Studio is an interactive software diagnostics environment☆120Updated 4 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆16Updated 5 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆21Updated 10 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆64Updated 3 years ago
- ☆11Updated 10 years ago
- exploration of reflective architectures in Scheme☆20Updated 2 years ago
- syn·di·cate: a language for interactive programs☆156Updated last month
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 3 years ago
- A datalog implementation in pure Lua (LPEG parser).☆22Updated 2 years ago
- ☆21Updated 9 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago