Thread-safe, persistent, immutable collections for the Crystal language
- crystal
- immutable-collections
- vector
- hash
Repository Index
47,133 repositories indexed
577–600 of 1,152 · Most stars
Based Python static type checker with baseline, sane default settings and based typing features
- based
- python
- typing
- baseline
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 Low-Latency, High Performance and Extensible WebAssembly Backend Library
🌟 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
Point Smelt at a Java mod jar and it starts the Rust port for Horizon: crates, traits and a build that runs. Unfinished parts are marked, so you know exactly what is left.
- fabric
- horizon
- minecraft
- neoforge
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).
Providing pattern matching for modern C++.
- cpp
- pattern-matching
- modern-cpp
Extism Go SDK - easily run WebAssembly modules in your Go applications
A Verified Compiler for Gallina, Written in Gallina
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
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
More up-to-date version of cl-charms. Forked it because it was, apparently, abandoned by author and I couldn't contact him.
Portable channel-based concurrency for Common Lisp
An extended core library for F#.
- fsharp
- performance
- csharp
- immutable
Fast resizable golang semaphore primitive
- semaphore
- go
- golang
- semaphore-pattern
FMOD Studio middleware integration and scripting API bindings for the Godot game engine.
- game-development
- game-engine-development
- game-audio
- dynamic-audio
A friendly and modern functional object oriented language for shell script.
- programming-language
- scripting-language
- command-line
- terminal
Expression evaluation in golang
Helper modules for OTP applications
- elixir
- otp-applications
- otp
A JNI code generator based on the JNI generator used by the eclipse SWT project