A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
- programming-language
- lisp
- malbolge
- esoteric
Repository Index
47,133 repositories indexed
25–48 of 74 · Most stars
Small configuration file parser library for C.
- config
- configuration-files
- c
- conf
A small JavaScript library for defining and using union types.
The repository host gives no description.
Mini audio library
- golang
- audio
- alsa
- wasapi
A pure-Go JavaScript runtime built for running many small plugin sandboxes fast.
- golang
- javascript
- sandbox
NASA PVS Library of Formal Developments
Compile C# and .NET CIL to small standalone Wasm with WASI (AOT with built-in Runtime and Precise GC)
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
An extremely small, intuitive and fast functional utility library for JavaScript
- javascript
- functional
- lightweight
- fast
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
CleanAspire is a cloud-native template built on Aspire, using .NET 10 Minimal APIs and Blazor WebAssembly to deliver lightweight, scalable PWAs with offline support.
- blazor-webassembly
- clean-architecture
- aspire
- blazor-wasm
A formalization of geometry in Coq based on Tarski's axiom system
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
🌟 DataFormsJS 🌟 A minimal JavaScript Framework, standalone React and Web Components, and JSX Compiler for rapid development of high quality websites and single page applications.
- javascript-framework
- react-components
- web-components
- dataformsjs
A Verified Compiler for Gallina, Written in Gallina
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
A library for formalizing Haskell types and functions in Coq
feedparser gem - (universal) web feed parser and normalizer (XML w/ Atom or RSS, JSON Feed, HTML w/ Microformats e.g. h-entry/h-feed or Feed.HTML, Feed.TXT w/ YAML, JSON or INI & Markdown, etc.)
- feed
- atom
- rss
- feedparser
A Lean formalization of the Classification of Finite Simple Groups
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines