Karnaj
Follow
Stars
Filigraneur - Filigrane Facile & Sécurisé
A termination checker for higher-order rewriting with dependent types
A new markup-based typesetting system that is powerful and easy to learn.
A game written in Scala as part of our curriculum at the ENS
A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.
Learning resources for Ruby, Rails, and related skills.
Ruby's missing Fiber Scheduler implementation.
Yet another plugin tutorial, this time as an exercise for 598
a work-in-progress Ruby compiler, written in Ruby and C++
Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
Collection of resources for programmers!
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
Nubo is a repository of interoperable formal proofs written in Dedukti.
A ruby gem to liberate content from Microsoft Word documents
A libev-based fiber scheduler for Ruby 3.0
The Event Library (Fiber Scheduler) that designed for Ruby 3.0.
TikZJax is TikZ running under WebAssembly in the browser
Hyperstack ALPHA https://hyperstack.org
Comprehensive changelog of Ruby Programming Language
A collection of games and demos written in ruby using the Ruby 2D framework, complete with free video tutorials
Flexible type system for Ruby with coercions and constraints