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
Repository Index
47,133 repositories indexed
241–264 of 268 · Most stars
suricata eve.json parser in Go
Python bindings for Mosaic.
- plotly-dash
- streamlit
David McClain's 'Actors' package for LispWorks
Go WorkerPool aims to control heavy Go Routines
- threadpool
- workerpool
- golang
- goroutine
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
- coq
- mathcomp
- modal-logics
- ctl
Elixir binding to the granddaddy of HTML tools
- elixir
- html-par
- html-ren
- html-repair
Facility, Prosperity and Maintainability.
Compiler & Runtime for 'Almost Binary'. Code in platform-independent binary and utilize high-level data structures and state-of-the-art libraries (e.g. quantum computing, blockchain, ..)
- binary
- compiler
- runtime
- csharp
Brainfuck interpreter written in Swift using Playground.
The cell tail language
Tailwind classes for Djula templates
- common-lisp
- djula
- lisp
- tailwindcss
Ni is a small esoteric programming language turing complete, cell based, like brainfuck.
- esoteric-programming-language
- esoteric-language
- esoteric-interpreter
- esoteric-languages
A language to transpile to brainfuck
Native V-lang implementation of Rosie-RPL. Rosie is a pattern language (RPL for short). A little bit like regex, but aiming to solve several of the regex issues.
- rosie
- vlang
- vlang-module
- rpl
Docker images of coq-mathcomp [maintainer=?]
The kitchen sink for clean Go projects — generic helpers for slices, maps, parallel work, JSON, HTTP, and containers
- collections
- data-structures
- functional-programming
- generics
TEXP is a domain specific language for producing TeX documents with Common Lisp.
- tex
- domain-specific-language
Never hard code your urls again. Boomboom them all!
A production-quality expert-system shell, written in thoroughly modern Common Lisp.
A Latin-themed esoteric programming language where source code reads as prayer
- brainfuck
- c
- esolang
- esoteric-language
Anime quote web app that fetches data from Animechan (https://animechan.vercel.app/)
Scala Native bindings for the Cairo 2D graphics library
Brainf*ck Interpreter for GameBoy