Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
Repository Index
47,133 repositories indexed
73–96 of 162 · Most stars
A customizable code text field supporting syntax highlighting
- highlight
- language
- textfield
- code
Simulates enough of a Telnet connection in order to log failed login attempts.
A minimalistic, thread safe, non-boilerplate and super easy to use version of Active Record on Core Data. Simply all you need for doing Core Data. Swift flavour.
- coredata
- ios
- swift
- coredatastack
Show pleasant loading view for your users 😍
A set of koans for learning Elm
Free universal JMS client
- jms
- jms-client
- activemq
- artemis
Neovim plugin to automatically toggle between relative and absolute line numbers. Written in Lua.
- line-numbers
- lua
- neovim
- neovim-plugin
A formalization of geometry in Coq based on Tarski's axiom system
A Maxima kernel for Jupyter, based on CL-Jupyter (Common Lisp kernel)
- jupyter
- maxima
- maxima-cas
Apps and tools for the BMW iDrive 7 (MGU) head unit, installable from the Store
Library provides easy to implement variation of Android (Material Design) Floating Action Button for iOS. You can use it as your app small side menu. 🌶
- material
- demo
- android
- rhsidebuttons-library
📡 sshfs.nvim integrates with Neovim, using SSH and SSHFS to manage remote systems as if they were your local files.
- fzf-lua
- lua
- neo-tree
- neovim
Small FTP server for ESP8266/ESP32/PYBD on the MicroPython platform
🌵 A collection of 16 desert-inspired high contrast Neovim colorschemes. Let there be light in the desert and dark in the oasis.
DBMDZ BERT, DistilBERT, ELECTRA, GPT-2 and ConvBERT models
- bert
- bert-model
- german
- transformers
A self-hosted markdown notes taking app with live preview, document encryption, multi-user support, multi-organization capabilities and more
Micropython driver for the BME280 sensor
A warehouse for your malware
Using Machine Learning to predict the type of exercise from movement data
- keras
- tensorflow
- coreml
- googlecloudml
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
- coq
- coq-art
- exercises
- docker-coq-action
Servidor MCP e CLI para localizar empresas brasileiras por CNAE e região, utilizando dados abertos de CNPJ da Receita Federal.
Micropython driver for ADS1115 and ADS1015
The easiest Future and Promises framework in Swift. No magic. No boilerplate.
- swift
- futures
- promises
- generics