Repository Index

Intel Integrated Performance Primitives and Intel Threading Building Block for Delphi RTL

Parallelize _anything_ //

• ocaml-library
• parallel-computing
• stream-processing
• multi-processing

The repository host gives no description.

Generate Yew components from React components via Typescript type definitions

• yew
• proc-macro
• react
• typescript

query language and terminal utility for querying and transforming Lisp, JSON and other text files. written in Common Lisp

• common-lisp
• domain-specific-languages
• dsl
• json

🐝 A Highly Performant and easy to use goroutine pool for Go

• goroutine
• goroutine-pool
• goroutine-scheduling
• task-scheduler

A framework for implementing and certifying impure computations in Coq

• coq
• formal-verification
• freer-monads

Fast YAML native library for Erlang / Elixir

• libyaml
• yaml
• libyaml-library
• erlang

The Effect monad, for handling native side effects

High performance utility functions using Generics

• filter
• functional
• generics
• go

Auto-generated D bindings for Vulkan

A subset of TypeScript for developing Algorand Smart Contracts. Enables AVM development with native TypeScript syntax, tooling, and IDE support

High-speed approximate nearest neighbors for Ruby

libclang bindings for crystal (including automatic C bindings generator)

Relation algebra library for Coq

A drop-in modernization of jmoiron/sqlx that fixes lexer bugs, automates IN expansion, and adds pluggable hooks — built for Go 1.21+.

• mysql
• postgresql
• sqlx
• databases

The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

Utilities for using Tinkerpop3 via the node-java API in Typescript

Reactive computation tree library for non-blocking concurrent Common Lisp

• data-flow
• asynchronous
• common-lisp
• concurrency

Crystal wrapper for the libsodium crypto API

• crystal
• cryptography
• nacl
• libsodium

Pattern matching for the monads in the cats Clojure library

• clojure
• clojurescript
• pattern-matching

Transpiling fortran code to golang code

• transpile
• f4go
• fortran
• golang

A stand-alone Swift wrapper around the mongo-c client library, enabling access to MongoDB servers.

• swift
• mongodb-connector
• server-side-swift
• mongodb

Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.

• liquid
• ocaml
• parser-combinators
• shopify