Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
Repository Index
62,771 visible repositories in the index
169–190 of 190 · Most stars
The helper class for Visual Basic for Applications (VBA) 7.0, providing access to CLR (.NET Framework) assemblies and classes.
- clr
- vba
- visual-basic
- netframework
Bindings for libncursesw and crt class
Cassandra for Delphi
A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
Generic Task behavior that helps encapsulate errors and recover from them in classic GenStage workers.
- elixir-lang
- elixir
- hex
- package
Monadic Assertions library
Zig bindings for libVLC media framework.
- bindings
- libvlc
- zig
- zig-library
Capstone Disassembler Library Binding for Delphi
- disassembler
- assembler
- pascal
- delphi
Crystal shard aiming to assist with parsing backtraces into a structured form.
- crystal
- stacktrace
- parser
Practice recognizing chords in this Rust/Yew/Webassembly app
- yew
- music-theory
- music-notation
- wasm
A Clojure library designed to provide hassle-free, ready to go gRPC experience without ton of preparations and Java code.
Micropython binding for the ESP32 DL AI vision models like face detection / recognition, imagenet classifier or pedestrian (human) detection
- esp32
- face-detection
- imagenet-classifier
- micropython
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
A plugin for Mocha to pass JS files through the Traceur transpiler
Gatling DSL extensions — feeders, profile management, transactions, assertions, Redis integration, and utility functions
- gatling
- performance
- performance-testing
- gatling-plugin
Facility, Prosperity and Maintainability.
Tailwind classes for Djula templates
- common-lisp
- djula
- lisp
- tailwindcss
Go date utilities inspired by date-fns. Timezone-aware, WebAssembly-compatible, with comprehensive test coverage.
This is a demo WASM Blazor application. You can test regular C# expressions in your browser.
- netcore
- blazor
- blazor-webassembly
Brainf*ck Interpreter for GameBoy
Small-C Compiler, Assembler, Linker, Make tool, and Library for 16-bit MS-DOS.
- 16-bit
- 8086
- compiler
- devkit