Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
- community-driven
- manifesto
- coq
Repository Index
47,133 repositories indexed
361–384 of 518 · Most stars
Limits the number of goroutines that are allowed to run concurrently
- concurrency
- golang
- goroutine
TxQuery component is a TDataSet descendant component that can be used to query one or more TDataSet descendant components using SQL statements. It is implemented in Delphi 100% source code, no DLL required, because it implements its own SQL syntax parser and SQL engine.
Library providing fast hash based immutable map and set
- hashmap
- fsharp
- collections
- hashset
Yet another routes handling utility on top of Hunchentoot
A wrapper module for using spaCy natural language processing library from the Ruby programming language via PyCall
A wrapper/facade/whatever to enable/ease the use of jNetPcap (a libpcap based packet sniffing lib) in Clojure
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
Write parsers for arbitrary text inputs, entirely in Java, with no preprocessing phase
A total recursion scheme library for Dhall
- dhall
- recursion-schemes
Go language extension that turns HTML templates into typed Go expressions with seamless editor support and an extensible rendering pipeline.
RabbitMQ driver for Delphi
a tool for handling file uploads simple
- file
- upload
- multipart
- http
Recursion schemes for Idris
- idris
- recursion-schemes
- idris-ecosystem
- control-flow
Generate Elm types, encoders, and decoders from Haskell types
Compile JavaScript to Dart so that you can compile it back to JavaScript and run.
Natural 🌿 effect system that fits TypeScript
- algebraic-effects
- computational-effects
- effect-system
- extensible-effects
JavaLoader is a library that has been built to ease the use, development and integration of Java within ColdFusion applications.
A Bitcoin Script Interpreter and Debugger in Scala
A portable cross-platform pinvoke .NET wrapper around libsass to convert SCSS to CSS
- libsass
- dotnet
- dotnet-standard
- scss
Parse placeholder and wildcard text commands
- parsing
- go
- golang
- text
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
CLAWK is an AWK implementation embedded into Common Lisp, by Michael Parker. This version contains some patches to make it compile again.