SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- ada
Repository Index
47,133 repositories indexed
1,129–1,152 of 1,730 · Most stars
Markdown blog with GitHub Pages
- blog
- blog-engine
- blog-platform
- blogger
A stand-alone application to quickly preview and edit Markdown files using Electron.
A simple, network enabled karaoke player in Rust
- karaoke
- music
- rust
- actix-web
A dark Neovim theme written in Lua
A simple Q&A platform using Ruby on Rails, support markdown.
- rails
- ruby
- user-sign
- qa
Truecolor solarized theme for neovim in Lua using colorbuddy
- nvim
- lua
- colorscheme
- solarized-dark-theme
An Apache Spark framework for easy data processing, extraction as well as derivation for web archives and archival collections, developed at Internet Archive.
- archivespark
- spark-framework
- spark
- web-archiving
Software Foundations
🌵 A collection of 16 desert-inspired high contrast Neovim colorschemes. Let there be light in the desert and dark in the oasis.
The Archives Unleashed Toolkit is an open-source toolkit for analyzing web archives.
Calvera Dark Colorscheme for Neovim written in Lua with built-in support for native LSP, TreeSitter and many more plugins
TranslatedQQNT Liuli (琉璃, "glazed tile") theme (LiteLoaderQQNT plugin): MCU wallpaper color extraction, frosted glass, Markdown, @ highlighting, cascading entrance animations, custom fonts
:white_check_mark: Easy property validation for JavaScript, Node and Express.
- assertions
- validation
- validator
- request-validation
Xcode extension for generating MARK comments.
- mark
- mark-comments
- xcode-extension
- swift
A simple C++ 03/11/etc timer class for ~microsecond-precision cross-platform benchmarking. The implementation is as limited and as simple as possible to create the lowest amount of overhead.
Aegis SkinFees: console-grade workspace for CS2 fee math — venue models, FX conversion and net-profit estimates fully on device.
An emacs mode for quarto: https://quarto.org
A Swift library for the Forecast.io Dark Sky API
DecisionPivot: a diagnostic benchmark for decision models in LLM systems. Contrast pairs that differ in one decisive detail, generators with independent solvers, scorer and runners.
- benchmark
- calibration
- decision-making
- evaluation
⌛ Ruby library to compute distance of dates in words. Originally built for Jekyll.
- jekyll
- ruby
- liquid
- relative-time
PHP Iteration Tools Library
- php-library
- php
- iterator
- iterable
A gatling plugin for running load tests on Apache Dubbo(https://github.com/apache/incubator-dubbo) and other java ecosystem.
- gatling
- dubbo
- java
- load-testing
Create and manage bookmarks as stacks in Neovim with a friendly UI.