Extension of the Elixir standard library focused on data stuctures, data manipulation and performance
- elixir
- persistent-vectors
- ordered-map
- util
Repository Index
78,850 visible repositories in the index
553–576 of 954 · Most stars
Single-header c99 accelerated float/double parsing. Port of the fast_float library.
- c
- high-performance
- neon
- parsing
The reference implementation of orderly: a schema language for JSON.
A functional JavaScript library that facilitates currying and point-free programming
- ai-friendly
- composition
- curry
- currying
Clojure's data structures modified for use outside of Clojure
R bindings to the libgit2 library
- libgit2
- libgit2-library
- git
- git-client
Finger Tree data structure
Functional data types and functions for any project
Tomorrow's JavaScript syntax today
Useful cmake macros that help with: compiler/linker flags, collecting sources, PCHs, Unity builds and other stuff.
- linker-flags
- cmake
- compiler-flags
- unity-build
Flexible regular expressions constructor for Golang.
- builder-pattern
- constructor
- go
- golang
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
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
[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
Based Python static type checker with baseline, sane default settings and based typing features
- based
- python
- typing
- baseline
This is a grunt task for adding a grunt task to compiler ES6 JS into ES3 JS using Traceur Compiler
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
🌟 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