Repository Index

Crystal bindings to Chipmunk, a fast and lightweight 2D game physics library

• crystal
• chipmunk
• physics-engine
• bindings

OpenGL and SDL2 bindings for Scala Native

• scala-native
• scala
• scala-library
• opengl

Old Coq plugin for parametricity [maintainer=@ppedrot]

• parametricity
• coq-plugin
• coq
• docker-coq-action

Type aware promises for crystal lang

Just A Rust Wasm Blog

Prime numbers for Coq

• coq
• theorem-proving
• elliptic-curves
• prime-numbers

Compile-Time Parser Generator in D programming language.

Dynamic D bindings to OpenGL, compatible with BetterC, @nogc, and nothrow.

• dlang
• opengl-bindings
• bindbc
• opengl

A ClojureScript wrapper for RxJS

the alchemist's happy path with elixir

• elixir
• error-handling
• with
• monad

A practical functional programming library for promises

• promise
• async-programming
• functional-programming
• javascript-callback-hell-solution

Wrapper around mbedtls

Load Javascript and CSS asynchronously in yew

• codesplitting
• interop
• wasm
• rust

Functional Programming for EcmaScript(Javascript)

• functional-programming
• fp
• js
• es

Ada binding to the SFML library

• ada
• binding
• sfml
• multimedia

Elixir wrapper around the Erlang module, eleveldb.

• leveldb
• elixir

Make native methods available as partially applied functions.

Static & dynamic D bindings to GLFW, compatible with BetterC, @nogc, and nothrow.

• dlang
• glfw-bindings
• bindbc
• glfw

Automatically makes package.json projects (such as npm packages and node.js modules) compatible with Deno.

• deno
• denoland
• nodejs
• node

Library for Classical Coq

Qt Qml bindings for the D programming language

webui bindings for Common Lisp

XAsyncSockets is an efficient Python/MicroPython library of managed asynchronous sockets.

• python
• asynchronous
• sockets
• tcp

The repository host gives no description.

• golang
• s-expressions
• expression
• evaluation