Repository Index

The repository host gives no description.

• rubyml
• machine-learning
• ruby
• ml

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

• coq
• hydra-battles
• ordinal-notations
• formal-proofs

Experimental Malfunction backend for Idris

Monadic effects and equational reasoning in Rocq

• monads
• monad-transformers
• probabilistic-programming
• nondeterminism

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

Common Lisp with Arc Macros and Procedures

The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]

• coq
• refinement
• mathcomp
• coq-platform

The repository host gives no description.

Simple Node.JS stream (streams2) Transform that runs the transform functions concurrently (with a set max concurrency)

Gowl is a process management and process monitoring tool at once. An infinite worker pool gives you the ability to control the pool and processes and monitor their status.

• golang
• go
• pooling
• pool

Fast SIP and SDP Parser

• sip-headers
• parse
• sdp
• sip-messages

WebAssembly wrapper to simplify fast math coding

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

Cojen/Maker is a lightweight, full-featured, low-level dynamic Java class generator designed for ease of use.

• java-bytecode
• invokedynamic
• java
• jvm-bytecode

Wrapper for feeder. Elixir RSS parser

A setf like macro for functional programming

Library providing fast hash based immutable map and set

• hashmap
• fsharp
• collections
• hashset

Load Common Lisp code blocks from Org files

• literate
• programming
• lisp
• org

A Javascript to PICO-8 Lua transpiler

• javascript
• pico-8
• lua
• transpiler

Superior Lisp Interactive Mode for Pulsar

• common-lisp
• atom
• repl
• pulsar-package

Machine Learning & Data Mining with JRuby

• machine-learning
• ruby
• jruby
• weka