A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
Repository Index
47,133 repositories indexed
337–360 of 980 · Most stars
Bindings to mapnik for node.js
Auto generated Go wrapper for Dear ImGui via cimgui
- golang
- imgui
- cimgui
A wrapper for the Eclipse Mosquitto™ MQTT client library for PHP.
- php
- mqtt-client
- mosquitto
- libmosquitto
Lanes is a lightweight, native, lazy evaluating multithreading library for Lua 5.1 to 5.5.
Boost.org python module
go-functional is a library of iterators to augment the standard library
- go
- golang
- functional-programming
http://hopac.github.io/Hopac/Hopac.html
- concurrent-programming
- csp
- actors
- cml
Compile Java byte-code to native CPU's.
- 6502
- assembly
- atari
- c64
A StreamLike, Immutable, Lazy Loading and smart Golang Library to deal with slices.
- functional-programming
- lazy-evaluation
- golang-library
- golang
Lossless compression C library built for ultra-fast decode. Faster than LZ4 (+35% to 105%+; best on ARM64), at a better ratio. Official Rust, Python, Node.js, Go and WASM bindings. Write-once/read-many, with optional seekable archives for O(1) random access.
- arm64
- c
- compression
- lz4
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
- ocaml
- stdlib
- data-structure
- portable
Tulip Node is the official node.js wrapper for Tulip Indicators. It provides over 100 technical analysis overlay and indicator functions.
Delegate-based C# P/Invoke alternative - compatible with all platforms and runtimes.
- csharp
- pinvoke
- native
- c
Functional API for Microsoft Orleans http://orleanscontrib.github.io/Orleankka
- actors
- cqrs
- event-sourcing
- fsm
A macro to define clojure functions with parameter pattern matching just like erlang or elixir.
- clojure
- defun
- pattern-matching
- clojure-functions
Build fast, composable, and type-safe grammars and parsers in Dart.
- parser
- parser-combinator
- parsing-expression-grammar
- parser-library
Ruby to JavaScript conversion
- ruby
- javascript
Stream utilities for Java 8
This projects gives Kotlin bindings and several extensions for Apache Spark. We are looking to have this as a part of Apache Spark 3.x
A wrapper for Apple's Common Crypto library written in Swift.
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
- clojure
- category-theory
- clojure-library
- monad
iOS utility class to manage global dispatch queue.
CAN DBC to C (and CSV, JSON and XML) compiler using the mpc parser combinator library
- dbc
- c
- misra
- automotive