Thread-safe, persistent, immutable collections for the Crystal language
- crystal
- immutable-collections
- vector
- hash
Repository Index
47,133 repositories indexed
1,177–1,200 of 2,441 · Most stars
A Ruby C wrapper for Open Text Summarizer
Based Python static type checker with baseline, sane default settings and based typing features
- based
- python
- typing
- baseline
Open source PTX to SASS assember (previously closed source by nvidia), more efficient SASS kernal for large scale Matrix Multiplication and Addition (MMA)
- compiler
- compiler-backend
- compiler-optimization
- gpu-acceleration
This is a grunt task for adding a grunt task to compiler ES6 JS into ES3 JS using Traceur Compiler
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
Like `Promise.all()` but for `Map` and `Object`
A Low-Latency, High Performance and Extensible WebAssembly Backend Library
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
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
An elixir haml parser
Rust-like error handling and options for Bun, Deno and Node.
- deno
- typescript
- rust
- error-handling
Secure firmware framework focusing on developer experience
A lightweight lexical string parser for BBCode styled markup.
- decoda
- bbcode
- bbcode-parser
- hooks
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 tiny CSS parser
Jitescript - Java API for Bytecode
Providing pattern matching for modern C++.
- cpp
- pattern-matching
- modern-cpp
An esoteric programming language built to break LLMs and coding agents.
The iterable toolbox
Boost.org interprocess module
Extism Go SDK - easily run WebAssembly modules in your Go applications