Repository Index

Gravity Programming Language

• virtual-machine
• interpreter
• json
• programming-language

prototype of stream based programming language

a thread-safe concurrent map for go

• golang
• go
• concurrency
• map

A dynamic language and bytecode vm

• c
• language
• vm
• lisp

The math library of Lean 4

• lean4

Make your functions return something meaningful, typed, and safe!

• python
• python3
• functional-programming
• fp

EventMachine: fast, simple event-processing library for Ruby programs

Ruby: parallel processing made simple and fast

Blazing fast concurrent HashMap for Rust.

• hashmap
• hashtable
• concurrent-programming
• concurrent

A tool (and pre-commit hook) to automatically upgrade syntax for newer versions of the language.

• python
• pre-commit
• linter

Easy to use F#-like ~discriminated~ unions for C# with exhaustive compile time matching

• discriminated-unions
• c-sharp
• f-sharp
• dotnetcore

NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust.

• compiler-backend
• async
• cuda
• gpu

A retargetable MLIR-based machine learning compiler and runtime toolkit.

• mlir
• vulkan
• tensorflow
• spirv

coobjc provides coroutine support for Objective-C and Swift. We added await method、generator and actor model like C#、Javascript and Kotlin. For convenience, we added coroutine categories for some Foundation and UIKit API in cokit framework like NSFileManager, JSON, NSData, UIImage etc. We also add tuple support in coobjc.

• coroutine
• coroutine-library
• await
• await-promises

The .NET library for ImageMagick

• image
• imagemagick
• convert
• resize

C# as you know it but with Go-inspired tooling (small, selfcontained, and native executables)

Automated mass refactoring of source code.

• java
• ast
• abstract-syntax-tree
• refactoring

JRuby, an implementation of Ruby on the JVM

• jruby
• ruby-language
• jvm
• ruby

A parser library for Go

• go
• parser
• lexer
• grammar

The repository host gives no description.

• concurrency
• data-structures
• queues
• lock-free

A C#/.NET library to run LLM (🦙LLaMA/LLaVA) on your local device efficiently.

• chatbot
• gpt
• llama
• llamacpp

a small scripting language for the web

• htmx
• hyperscript
• scripting-language

Kotlin Evolution and Enhancement Process

• evolution
• kotlin
• language

A modern proof language

• formality
• lambda-calculus
• type-theory
• proof-language