Prime numbers for Coq
- coq
- theorem-proving
- elliptic-curves
- prime-numbers
Repository Index
47,133 repositories indexed
1,801–1,824 of 2,401 · Most stars
Compile-Time Parser Generator in D programming language.
Dynamic D bindings to OpenGL, compatible with BetterC, @nogc, and nothrow.
- dlang
- opengl-bindings
- bindbc
- opengl
Library for selective receive OTP processes
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.
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
Common Lisp (Parenscript) library for React
The repository host gives no description.
- golang
- s-expressions
- expression
- evaluation
Ada-bindings for 0mq
Easy, concurrent, asynchronous tasks in Swift.
- swift
- asynchronous
- dispatch
- concurrency
The 100% Pure x86-64 Assembly Systems Language
- assembler
- assembly
- assembly-lang
- assembly-language