Repository Index

Use JavaScript to generate JavaScript

• preprocessor
• build-tool
• babel
• webpack

Partial Commutative Monoids

• partial-commutative-monoid
• separation-logic
• coq
• coq-library

Pure python parser for Snort/Suricata rules.

• suricata-rules
• suricata-rule
• snort-rules
• snort-rules-generate

TryLock support on read-write lock for Golang

• trylock
• locker
• mutex

A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.

• cross-platform
• dialog
• file
• filesystem

WebGPU for D

• webgpu
• wgpu
• 3d-graphics
• rendering

Elixir library to do pipeable transformations on html strings (with CSS selectors)

• elixir
• html-parser
• html-renderer
• css-selector

An Elixir macro for easily piping arguments at any position.

• elixir
• macros
• pipe

Tensorflow wrapper for D

• tensorflow
• tfd
• dlang
• d

Common tools for projects

• cross-platform
• pascal-language
• library
• json

A debugger backend and LUA wrapper for PIN

Generate Clojure syntax from vectors

• clojure

Mutation analysis tool for Coq verification projects

• coq
• mutation-analysis
• serapi

Generate images from Graphviz dot strings in Clojure and Clojurescript

Micromega tactics for Mathematical Components

• coq
• ssreflect
• mathcomp
• proof-automation

An embeddable implementation of the Ngaro Virtual Machine for Go programs

A pool that spins up a given number of processes in advance and attaches stdin and stdout when needed. Very similar to FastCGI but works for any command.

Implementation of sum/option types using QVariant

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]

• coq
• bourbaki
• set-theory
• mathcomp

Go utility library for convenient looping using Go's range-over-func feature

• golang

coinduction library for Coq

D bindings for the sokol headers (https://github.com/floooh/sokol)

• bindings
• d
• dlang
• sokol

A compatible re-implementation of the BibTeX program in Common Lisp, with a BST-to-CL compiler. By Matthias Köppe

This is a Rust / Wasm client web app which is a task control center. You can create timed tasks for your devices which support tcp connection and execute tasks on time through its core.