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
Repository Index
79,350 visible repositories in the index
601–624 of 976 · Most stars
interactive programming of melodies, producing MIDI
A reimplementation of Qt's moc using libclang. Contains both a drop-in remplacement, and a plugin for the clang compiler.
A formalization of geometry in Coq based on Tarski's axiom system
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
Functional Concurrency Primitives
- concurrency
- software-transactional-memory
- synchronization
- lock
[TOOL/CLI] - Filter and examine Go type structures, interfaces and their transitive dependencies and relationships. Export structural types as TypeScript value object or bare type representations.
- go
- golang
- type
- struct
Lispbuilder provides a range of libraries for developing useful portable Common Lisp applications
An implementation of React hooks on top of purescript-react-basic
a re-implementation of the asyncio mainloop on top of Trio
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
Thread-safe, persistent, immutable collections for the Crystal language
- crystal
- immutable-collections
- vector
- hash
🌟 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
Rust-like error handling and options for Bun, Deno and Node.
- deno
- typescript
- rust
- error-handling
state machine which runs code
- golang
- workflows
- state-machine
- actor-model
SUSHI (aka "SUSHI Unshortens Short Hand Inputs") is a reference implementation command-line interpreter/compiler for FHIR Shorthand (FSH).
A Verified Compiler for Gallina, Written in Gallina
- coq
- gallina
- compiler
- formal-verification
Extism Go SDK - easily run WebAssembly modules in your Go applications
A complete header translation (binding) of the raylib 6.2 to Pascal. Without any funky helper functions for memory alignment issues. Inspired and partially based on the drezgames/raylib-pascal binding, however a little cleaner and more recent, with FPC 3.2.0 and up support.
- header-translation
- pascal-binding
- raylib
- lazarus
A reactive dataflow programming language for the AI era, with automatic parallelization and very high standards of static verification
Yaml parser for Elixir based on native Erlang implementation
A simple cross platform .NET API for Intel MKL
- mkl
- cross-platform
- matrix
- linear-algebra
First-class patterns for Clojure. Made with love, functions, and just the right amount of syntax.
- clojure
- pattern-matching
- functional-programming
Swift µframework with extensions for the Optional Type
- swift
- functional-programming
- swift-extensions