Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
Repository Index
61,275 visible repositories in the index
193–216 of 293 · Most stars
Pure Go FFI for WebGPU - CGO-free GPU access via wgpu-native bindings
- cgo-free
- ffi
- go
- golang
WebAssembly runtime for Crystal
- crystal
- crystal-lang
- crystal-language
- webassembly
CMake precompiled header support via custom PCH compiler extension
- cmake
- cmake-precompiled-headers
- clang
- gcc
Pipe elixir functions that match ok/error tuples or custom patterns.
- elixir
- error-handling
- monad
- pipe
TensorFlow.Delphi (TF.Delphi) provides a Delphi(Pascal) Standard binding for TensorFlow. It aims to implement the complete Tensorflow API in Delphi which allows Pascal developers to develop, train and deploy Machine Learning models with the Pascal Delphi
- deep-learning
- delphi
- machine-learning
- pascal
raix (Reactive And Interactive eXtensions) is a functional, composable, API for AS3 that simplifies working with data, regardless of whether its interactive (arrays) or reactive (events). raix was previously RxAs
.NET wrapper around the LibSass library with the ability to support a virtual file system.
Provide await and async methods to Crystal Lang
- crystal-language
- concurrency
A simple Elixir Markdown to HTML conversion library
Generate a ready-to-use Common Lisp project
- common-lisp
- cookiecutter
- lisp
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
- baseline
- cli
- legacy-code
- mypy
V binding for webview - a tiny cross-platform library to build modern cross-platform GUI applications.
- v
- webview
- gtk
- webkit
🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].
- monads
- result-type
- typing
- python
Guile-SSH is a library that provides access to the SSH protocol for GNU Guile programs.
Tinkerpop Blueprints Scala
A multiplexor for aligned time.Time tickers in Go
Library providing fast hash based immutable map and set
- hashmap
- fsharp
- collections
- hashset
A wrapper module for using spaCy natural language processing library from the Ruby programming language via PyCall
Elixir binding to Detergent erlang library used to call WSDL/SOAP Services
Messaging system for communication between classes / layers in delphi
- delphi
- firemonkey
- vcl
- fmx
Natural 🌿 effect system that fits TypeScript
- algebraic-effects
- computational-effects
- effect-system
- extensible-effects
Julia wrapper around nettle cryptographic hashing/encryption library providing MD5, SHA1, SHA2 hashing and HMAC functionality, as well as AES encryption/decryption
- cryptography
- nettle
- encryption
- hash-algorithms
Node module that is bridged with the Java Hapi HL7 library.
- hl7-parsing
- hl7-message
- hit
- healthcare