Repository Index

Pattern Matching library for go

• branching
• conditions
• golang
• matching

Transpile Golang into Arduino code to use fully automated testing at your IoT projects.

• go
• golang
• arduino
• transpiler

IGraph/M is the igraph interface for Mathematica

• igraph
• mathematica
• mathematics
• network-graph

Pipe elixir functions that match ok/error tuples or custom patterns.

• elixir
• error-handling
• monad
• pipe

Parses and evaluates mathematical expressions in Elixir. Inspired by math.js

• elixir
• math
• dsl

A handy calculator, based on Rust and WebAssembly.

• webassembly
• calculator
• math
• rust

BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations

Library for writing patterns to generate or process (a)musical sequences of mathematically (un)related (non-)compound values in Lisp.

• supercollider
• lisp
• synth
• sequencer

Automatic C-bindings generator for the Crystal language

• crystal
• code-generation
• binding-generator

Automatic generation of N-API wrapper from a C++ library

• napi
• n-api
• nodejs
• node-addon-api

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

Monadic effects and equational reasoning in Rocq

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

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

The repository host gives no description.

WebAssembly wrapper to simplify fast math coding

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

• coq
• refinement
• mathcomp
• coq-platform

Parse placeholder and wildcard text commands

• parsing
• go
• golang
• text

Node module that is bridged with the Java Hapi HL7 library.

• hl7-parsing
• hl7-message
• hit
• healthcare

Generalized folds, unfolds, and traversals for fixed point data structures

Macro for tapping into a pattern match while using the pipe operator

dregex is a Java library that implements a regular expression engine using deterministic finite automata (DFA). It supports some Perl-style features and yet retains linear matching time, and also offers set operations.

• scala
• dfa
• regular-expression
• regular-expression-engine

High-speed approximate nearest neighbors for Ruby

libclang bindings for crystal (including automatic C bindings generator)