Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.
- gno
- gnoland
- gnolang
- bft
Repository Index
47,133 repositories indexed
529–552 of 1,986 · Most stars
A Counter-Strike 2 Demo Parser for Go (demoinfo)
- counter-strike
- csgo
- golang
- go
A compatibility layer for event-driven abstractions
- stream-processing
- future
- clojure
- async
The source for the Dart website.
ChucK Music Programming Language
Ahead of time compiler for JVM bytecode targetting iOS, Mac OSX and Linux
- ios
- java
- jvm
- robovm
a work-in-progress Ruby compiler, written in Ruby and C++
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
- coq
- mathematics
- unimath
- coq-library
League\Pipeline
A library for enabling task-based multi-threading. It allows execution of task graphs with arbitrary dependencies.
- cpp
- multithreading
- fibers
- task-scheduler
DFA regular expression library & friends
- fsm
- regex
- lexer-generator
- regexp
Tools for transparent data transformation
- term-rewriting
- logic-programming
- unification
- pattern-matching
Ruby FFI binding to the Networking and Cryptography (NaCl) library (a.k.a. libsodium)
- cryptography
- nacl
- libsodium
- ruby
A standalone Luau runtime
- cli
- luau
- scripting
Maintainable configuration files
- configuration-language
- haskell
- dhall
math and logic formula parser and evaluator
- formula
- calculator
- evaluate-expressions
- safeeval
R interface for Apache Spark
Improve the readability of R code with the pipe
- r
- pipe
Category Theory and Algebraic abstractions for Clojure and ClojureScript.
Bind C++ functions and classes into V8 JavaScript engine
- javascript
- c-plus-plus
- cpp
- cpp14
Sail architecture definition language
Fast GPIO, PWM, servo control, state change notification and interrupt handling with Node.js on the Raspberry Pi
- gpio
- pwm
- servo
- motor
PHP parser written in Go
Vulkan API for JavaScript/TypeScript
- vulkan
- bindings
- javascript