Repository Index

Single-header c99 accelerated float/double parsing. Port of the fast_float library.

• c
• high-performance
• neon
• parsing

Clojure's data structures modified for use outside of Clojure

R bindings to the libgit2 library

• libgit2
• libgit2-library
• git
• git-client

Finger Tree data structure

Functional data types and functions for any project

CleanAspire is a cloud-native template built on Aspire, using .NET 10 Minimal APIs and Blazor WebAssembly to deliver lightweight, scalable PWAs with offline support.

• blazor-webassembly
• clean-architecture
• aspire
• blazor-wasm

Source code for the Uno Gallery apps and Uno Playground (made in Wasm)

• uno
• uno-platform
• webassembly
• wasm

Functional programming in R

Tiny library (<200B gzip) for deferring something by a "tick"

• defer
• javascript
• async
• wait

Useful cmake macros that help with: compiler/linker flags, collecting sources, PCHs, Unity builds and other stuff.

• linker-flags
• cmake
• compiler-flags
• unity-build

Flexible regular expressions constructor for Golang.

• builder-pattern
• constructor
• go
• golang

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

• formalization
• coq
• geometry
• tarski-axiom

Gostradamus: Better DateTimes for Go 🕰️

• golang
• datetime
• date
• time

A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

Functional Concurrency Primitives

• concurrency
• software-transactional-memory
• synchronization
• lock

[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

Lispbuilder provides a range of libraries for developing useful portable Common Lisp applications

An implementation of React hooks on top of purescript-react-basic

a re-implementation of the asyncio mainloop on top of Trio

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

• raft
• verdi
• coq
• proof

Open source Python/CUDA C/C++ to SASS/CUDA Binary compiler (previously closed source by nvidia), more efficient (10-18% speedup) General Matrix Multiplication (GEMM)

• compiler
• compiler-backend
• compiler-optimization
• gpu-acceleration