A generically defined, light-weight linear algebra library for simple addition and multiplication of vectors and matrices.
The simple image manipulation program
simp_protocol is a simplistic protocol to communicate over serial ports. It supports ack, automated escaping and unescaping of special bytes and checksum error detection.
A linear algebra package (WIP)
This crate provides a few representations of SMT scripts and other functionalities.
A simple website downloader for simps
Convert numbers to Chinese numerals.
Pure Calculus of Constructions type theory - NO LEXICON
Borland Graphics Interface (BGI) stroked font data in pure Rust. Includes various font styles like bold, gothic, sans-serif, and script fonts for legacy graphics applications
OxiLean meta layer - Metavar-aware WHNF, unification, type class synthesis, and tactics
OxiLean parser - Concrete syntax to abstract syntax
Formally verify that your safety comments are correct.
A simple text editor with white text on black background
"simp-rake-helpers provides common methods for SIMP Rake Tasks"
Beaker helper methods to help scaffold SIMP acceptance tests
A library for accessing the SIMP metadata format for the simp project
shim that injects SIMP-related facts into rspec-puppet-facts
Provides helper methods for building SIMP
simp-cli provides the 'simp' command to configure and manage SIMP.
wwine is a simpe wine wrapper.
A Simpe Ping Client for Ruby.
Pow for any language
Linter SIMP Compliance Engine data
longer description of your gem