Tomas Uribe's repositories
swi-prolog-z3
Using Z3 as a constraint solver inside SWI Prolog
dc.js
Multi-Dimensional charting built to work natively with crossfilter rendered with d3.js
fp-lean
Functional Programming in Lean
goncurses-unicode
This is a fork of https://code.google.com/p/goncurses/ with fixes for supporting unicode
julia
The Julia Language: A fresh approach to technical computing.
lean4
Lean 4 programming language and theorem prover
pioneer_go_cli
Go version of Pioneer CLI telnet controller
pioneer_rust_cli
Rust CLI to control a Pioneer Receiver (AVR) via telnet
us-county-adjacency
United States County Adjacency Data, Corrected
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
lwes-java
Light Weight Event System Java library
Metatheory.jl
General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
snapraid
A backup program for disk arrays. It stores parity information of your data and it recovers from up to six disk failures
storm-feeds-example
This is a toy example for illustrating the usefulness of Storm in two use cases: stream processing and continuous computation.
theorem_proving_in_lean
Theorem proving in Lean
theorem_proving_in_lean4
Theorem Proving in Lean 4
vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
z3
The Z3 Theorem Prover
z3guide
Tutorials and courses for Z3