Concurrent data structures for Go
Repository Index
82,588 visible repositories in the index
577–600 of 1,502 · Most stars
High-performance automatic differentiation of LLVM and MLIR.
- enzyme
- llvm
- ad
- automatic-differentiation
Refinement types for Scala
- refinement-types
- scala
- typelevel
Unified Executors
a lightweight, robust, scheme-like lisp implementation
langcc: A Next-Generation Compiler Compiler
Generate JSON schema from your Typescript sources
- json-schema
- typescript
- compiler
- generator
A small library for generalized transformation of data (inspired by Clojure's transducers)
Elegant generics for Go
JPHP - an implementation of PHP on Java VM
- php
- php-language
- jvm
- bytecode
zkSnark circuit compiler
Optics library for Scala
- scala
- functional-programming
- optics
- lens
Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the Hedy level sequence, kids master a subset of syntactically valid Python.
- hedy
- gradual
- education
- programming
Go bindings for GLFW 3
Source code of Ferrocene, safety-critical Rust toolchain
Lisp in 99 lines of C and how to write one yourself. Includes 21 Lisp primitives, garbage collection and REPL. Includes tail-call optimized versions for speed and reduced memory use.
- lisp
- lisp-interpreter
- pc-g850
- tiny
Generic connection pooling for Ruby
A secure WebAssembly VM catered for decentralized applications.
Automatic C-Go Bindings Generator for Go Programming Language
Event Dispatcher and callback list for C++
- header-only
- event-dispatcher
- callback
- signal
Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe, convenient, and performant abstractions for UEFI functionality.
- uefi
- rust
- osdev
Build highly concurrent, distributed, and resilient message-driven applications using Java/Scala
- actor-model
- cloud-native
- concurrency
- distributed-actors
WASI-enabled WebAssembly C/C++ toolchain
- wasi-sdk
- llvm
- wasi-libc
- sysroot
An experimental Rust port of the TypeScript 7 compiler (tsc)
- compiler
- rust
- tsc
- typescript