The Frenetic Programming Language and Runtime System
Repository Index
82,588 visible repositories in the index
937–960 of 1,502 · Most stars
Template your base files and generate new projects from Git(Hub).
- generator
- scaffolding
- templates
- schema
Extension of the Elixir standard library focused on data stuctures, data manipulation and performance
- elixir
- persistent-vectors
- ordered-map
- util
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
Extended version of Rambda
- ramda
- rambda
- utils
- lodash
R bindings to the libgit2 library
- libgit2
- libgit2-library
- git
- git-client
Simply way to control goroutines execution order based on dependencies
- goflow
- golang
- goroutine
- concurency
Open source compiler for your whole ML repo (support python, CUDA C/C++) into sass and cuda binary (which are closed sourced by Nvidia); 3-40% faster than Openai Triton for Neural Network (primarily LLM) based training/inferencing
- compiler
- compiler-backend
- compiler-optimization
- gpu-acceleration
Source code for the Uno Gallery apps and Uno Playground (made in Wasm)
- uno
- uno-platform
- webassembly
- wasm
LESS Engine - A Java wrapper for less.js
Composable kmett style lenses
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
D language bindings for the Godot Engine's GDNative API
A reimplementation of Qt's moc using libclang. Contains both a drop-in remplacement, and a plugin for the clang compiler.
⛓ A chainable interface for Swift's async/await.
- async-await
- swift5
- concurrency
- async
A formalization of geometry in Coq based on Tarski's axiom system
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
Functional Concurrency Primitives
- concurrency
- software-transactional-memory
- synchronization
- lock
Embedded JavaScript Engine for R
- cran
- libv8
- r
- javascript
[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