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
71,372 visible repositories in the index
217–240 of 269 · Most stars
Ruby wrapper for the famous spell checker library hunspell.
- ruby
- hunspell
- rubygem
- hunspell-spell-checker
TryLock support on read-write lock for Golang
- trylock
- locker
- mutex
Tensorflow wrapper for D
- tensorflow
- tfd
- dlang
- d
A debugger backend and LUA wrapper for PIN
immutable primitive array/NonEmptyArray wrapper for Scala
- data-structures
- scala
- primitive-arrays
- scala-js
Clj-crypto is a wrapper for Bouncy Castle which allows you to easily use cryptography in your clojure app.
V wrapper around the C Java Native Interface
- java
- jni
- kotlin
- android
Embeddable Forth interpreter written in Ada
- ada
- forth
- interpreter
A C# wrapper written around QPDF, allowing for various operations on PDF documents: transformations, page manipulation, linearization, and more.
- pdf-lib
- csharp-pdf
Tool that allows to write Erlang NIF libraries in Haskell
V Wrapper For ZMQ
- vlang
- zmq
- networking
- v
A utility library to write code in functional programming style in Javascript
- functor
- monads
- curry
- composition
Perl bindings for playwright
Crystal shard wrapping libgphoto2
- libgphoto2
- crystal
- photography
- gphoto2
Simple Hunspell wrapper for Delphi
Read, modify, and write Common Lisp source code while preserving whitespace and comments
A Delphi wrapper for WinSparkle
A web framework for writing react components in common lisp using jscl
COM-wrapper of Cloo to execute OpenCL code from VBA/Excel.
- excel
- excel-vba
- vbscript
- vba
Micropython wrapper for FastLZ, a lightning-fast lossless compression library
Lua wrapper arount the Tweet NaCl cryptographic library
Implementation of a brainfuck interpreter written for the Game Boy.
Fast LZMA2 Wrapper for .NET
- compression
- dotnet
- lzma2
- nuget