Experimental Malfunction backend for Idris
Repository Index
47,133 repositories indexed
1,561–1,584 of 2,415 · Most stars
ImGui Binding for FreePascal / Delphi with the latest version & docking
- freepascal
- imgui
- imgui-binding
- opengl3
Sciter component for Delphi
Salesforce Formula Parser implemented in ES2017. Live demo at
Japt 1.4.5, the other JavaScript golfing language
- javascript
- esolang
- golfing-language
- programming-language
R and C++11
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
Apache Kafka Client for Delphi
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
Tiny DSL for idiomatic date parsing and formatting in Ruby
- ruby
- dsl
- date
- syntax-sugar
A Rocq formalization of information theory and linear error-correcting codes
- information-theory
- error-correcting-codes
- probability
- convexity
Guile-SSH is a library that provides access to the SSH protocol for GNU Guile programs.
Common Lisp with Arc Macros and Procedures
Tinkerpop Blueprints Scala
Common Lisp (Parenscript) utilities for building web apps in ReactJs
Crystal bindings to Dear ImGui
The repository host gives no description.
Simple Node.JS stream (streams2) Transform that runs the transform functions concurrently (with a set max concurrency)
Fast SIP and SDP Parser
- sip-headers
- parse
- sdp
- sip-messages
WebAssembly wrapper to simplify fast math coding
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
- community-driven
- manifesto
- coq
Common Lisp and CXX interoperation with JIT
- jit
- interoperability
- common-lisp
- cpp17
brain-dead simple parallel processing for ruby