Repository Index

[INACTIVE] Avian is a lightweight virtual machine and class library designed to provide a useful subset of Java's features, suitable for building self-contained applications.

• java
• jit-compiler
• openjdk
• jvm

Peg, Parsing Expression Grammar, is an implementation of a Packrat parser generator.

Parse, Resolve, and Dereference JSON Schema $ref pointers in Node and browsers

• javascript
• nodejs
• json-schema
• json-reference

wepoll: fast epoll for windows⁧ 🎭

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

A Counter-Strike 2 Demo Parser for Go (demoinfo)

• counter-strike
• csgo
• golang
• go

Free components that wrap up Python into Delphi and Lazarus (FPC)

• delphi
• lazarus
• python
• pascal

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

• coq
• mathematics
• unimath
• coq-library

Popular PHP library for serialized execution of critical code in concurrent situations

• lock
• mutex
• semaphore
• php

High-performance, minimalist async-io (proactor) networking for Golang.

• asyncio
• proactor
• c10k
• epoll

A bleeding-edge, lock-free, wait-free, continuation-stealing tasking library built on C++20's coroutines

• cpp20
• coroutines
• wait-free
• threadpool

🚀 fast JavaScript 4 Eclipse Vert.x

• vertx
• language-support
• javascript
• typescript

eBPF library for Go. Powered by libbpf.

• bpf
• golang
• go
• ebpf

A TypeScript compiler for gulp with incremental compilation support.

Go bindings for the PortAudio audio I/O library

Deep learning for Ruby, powered by LibTorch

A polyglot REPL built on .NET Interactive

• dotnet
• dotnet-interactive
• repl

Swift-friendly API for a set of powerful Objective C runtime functions.

• swift
• introspect
• runtime

An axiom-free formalization of category theory in Coq for personal study and practical work

• category-theory
• coq
• monad
• profunctor

DeviceDetector is a precise and fast user agent parser and device detector written in Ruby

Lightweight Goroutine pool

• golang
• goroutine
• pool
• workers

:speedboat: a limited consumer goroutine or unlimited goroutine pool for easier goroutine handling and cancellation

Quick development library (AutoMapper, LinQ, IOC Dependency Injection, MemoryCache, Scheduled tasks, Json and Yml Config and Options pattern, Serializers, etc) with crossplatform support for Delphi/Firemonkey (Windows,Linux,OSX/IOS/Android) and freepascal (Windows/Linux).

• delphi
• azure
• config
• json

Mathematical Components

• coq
• ssreflect
• mathcomp
• coq-formalization