Elm architecture and (V)DOM for OCaml
Repository Index
58,632 visible repositories in the index
697–720 of 1,249 · Most stars
A Lua 5.3 parser written with LPegLabel
A Simplest in-memory and Distributed Storage-Agnostic Message Queue for Your Concurrent Go Program
- concurrency
- go
- goroutine
- priority-queue
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
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
Functional Concurrency Primitives
- concurrency
- software-transactional-memory
- synchronization
- lock
a network packet capture compiler
[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
An implementation of React hooks on top of purescript-react-basic
a re-implementation of the asyncio mainloop on top of Trio
Thread-safe, persistent, immutable collections for the Crystal language
- crystal
- immutable-collections
- vector
- hash
Based Python static type checker with baseline, sane default settings and based typing features
- based
- python
- typing
- baseline
Like `Promise.all()` but for `Map` and `Object`
🌟 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
Secure firmware framework focusing on developer experience
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).
An esoteric programming language built to break LLMs and coding agents.
Human-readable schedule expressions for .NET (C#): write "every day at 9am except sunday" instead of cron. Time zones, fluent builder, custom keywords, cron converter.
- cron
- csharp
- date-time
- dotnet
Modern cryptography (libsodium/NaCl) for Clojure
CSP-style concurrency for Python
- python
- asyncio
- csp
- concurrency
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
Typed Regular Expressions
- regex
- types
- gadt
- ocaml
A simple cross platform .NET API for Intel MKL
- mkl
- cross-platform
- matrix
- linear-algebra