Monitor and restart background threads.
Repository Index
47,133 repositories indexed
793–816 of 980 · Most stars
A compatible re-implementation of the BibTeX program in Common Lisp, with a BST-to-CL compiler. By Matthias Köppe
Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg
- combinatorial-optimization
- community-detection
- dynamic-graphs
- edge-orientation
Hunchentoot Gserver based taskmanager
Generates Blazor -> Javascript strongly typed interop methods.
Little utility D3 functions
Helper tool to debug parser and formatter
A library that brings all the CSP joy to the Elixir land.
Free Monads and useful constructions to work with them
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad
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
Hanoi tower in Coq
Parser for todo.txt files in Go ✅
- go
- golang
- todo
- todoapp
A port of the Javascript library to GML2.3
D binding to c-imgui
- imgui
- bindbc
Experiments on workflow with common lisp
- emacs
- common-lisp
- slime
- test-automation
Simple Shopify API for the Go Programming Language
Transpiles from everything to everything else
Tool that allows to write Erlang NIF libraries in Haskell
Clang port to the GBZ80 CPU
A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
A utility library to write code in functional programming style in Javascript
- functor
- monads
- curry
- composition
Command line tool for Bluetooth Low Energy MicroPython devices
- micropython
- python
- embedded
- cli
Crystal shard wrapping libgphoto2
- libgphoto2
- crystal
- photography
- gphoto2