Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action
Repository Index
47,133 repositories indexed
1,993–2,016 of 2,336 · Most stars
Common Lisp feed parser
Libnotify for Crystal
Native DTrace probes for ruby apps
Hanoi tower in Coq
Anonymous lambda literal in Common Lisp, respecting Scala
Parser for todo.txt files in Go ✅
- go
- golang
- todo
- todoapp
The repository host gives no description.
A port of the Javascript library to GML2.3
D binding to c-imgui
- imgui
- bindbc
:evergreen_tree: Parses indented code and returns a tree structure.
- go
- parser
Experiments on workflow with common lisp
- emacs
- common-lisp
- slime
- test-automation
A PHP parser for Djot, a modern light markup language
Simple Shopify API for the Go Programming Language
Transpiles from everything to everything else
A C# wrapper written around QPDF, allowing for various operations on PDF documents: transformations, page manipulation, linearization, and more.
- pdf-lib
- csharp-pdf
Decimal number parser and formatter package for the Common Lisp language
- decimal-numbers
- common-lisp
- library
- parser
Tool that allows to write Erlang NIF libraries in Haskell
Personal import of the selenium-webdriver for ruby
Clang port to the GBZ80 CPU
Common Lisp JSON handling library (not a parser!), with the aim for convenience and brevity.
Ant Design bindings for Fable Elmish
- fable
- antd
Java scope functions inspired by Kotlin
- functional-programming
- java
- java-utils
- java-utilities
Elixir binding for libgraphqlparser