RDoc generator designed with simplicity, beauty and ease of browsing in mind
Repository Index
47,133 repositories indexed
73–92 of 92 · Most stars
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
New York City Census Reporting Tool
- census-data
- demographics
- nyc
- ember
A ESP32 sensor to read an p1 electricity meter and publish this to MQTT and HomeAssistant, written in MicroPython
- homeassistant
- mqtt
- simulation
- p1meter
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
Model Layer Implementation for a J2EE Pull MVC WebApp
- j2ee
- mvc
- orm
- velocity
Tiny Trello Clone PWA Pursuing Simplicity
FkNotes.nvim is a lightweight and modern note-taking and task management plugin for Neovim, designed to help you organize tasks, reminders, and notes without leaving your editor. Built as part of the FkVim ecosystem, it emphasizes simplicity, speed, and a clean, interactive UI.
- fknotes
- fkvim
- neovim
- neovim-plugin
FlashFlags is an ultra-fast, zero-dependency, lock-free command-line flag parsing library for Go. Originally built for Argus, it provides great performance while maintaining simplicity and ease of use.
- command-line
- configuration-files
- evironmental-variables
- fast
GTFS viewer and transit analysis tool with an Electron desktop app and a free web demo / Electron masaüstü uygulaması ve ücretsiz web demosu olan bir GTFS görüntüleme ve toplu taşıma analiz aracı
Dynamic Capacity Networks using Tensorflow
An execution engine for the Golem Network
Find Russian and Ukraine city by IP address and find country for other country Elixir
UNISoN is a Java-based NNTP client that can analyse messages to save to a Pajek-format file for Social Network Analysis. Developed as part of an MSc Business Systems Analysis & Design at City University.
Some useful stuff including new Rendering Variant fields and NVelocity tools
A cross-platform, dual-screen aware app that presents data about electricity generation and carbon emissions across the UK. Showcase app for the Uno Platform on dual screen devices.
- uno-platform
- dual-screen
- uwp
- energy
Vertx-effect brings functional effects to the Vert.x ecosystem and is inspired by Erlang’s actor model. Its manifesto emphasizes principles such as maximizing the use of verticles for scalability, maintaining single responsibility for each verticle, and prioritizing simplicity to enhance reliability and ease debugging.
- functional-programming
- java
- json-values
- persistent-data-structure
A simple MultiProcessing example in gml. With a heavy focus on simplicity for newer users.
iOS Scriptable widget showing real-time gym capacity for ClubConnector gyms
The repository host gives no description.
- codeship
- elixir