Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
The TLA Proof Manager
-
Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.
-
generate synthetic data for training finite state machines/pushdown automata/turing machines
-
A comprehensive web framework aimed at building custom Haskell handlers for the Nginx Web Server
-
Type-safe ORM for PureScript
-
Open-source scientific and technical publishing system built on Pandoc.
-
a fast, extensible, type driven Haskell ECS framework for games
-
Haskell implementation of mustache templates
-
🌟 Open-source, visual programming for developers. Includes a VS Code extension, integrates with existing TypeScript code, browser and Node.js.
-
Generate markup from yaml from a simple comand line tool