Beast code in Giters

Salman Saghafi's repositories

A minimal in-memory database with relational algebraic expressions as queries

Language:RustMIT60 4 19

Razor is a tool for constructing finite models for first-order theories

Language:RustMIT55 6 41

Language:Haskell5 6 78

Minimal model generation in KodKod

Language:Java3 2 19

TLA+ 101: Specifying Concurrent Processes in PlusCal

Language:TLAMIT3 20

solving a number of SAT problems using Z3

Language:RustMIT1 20

Production repository for the all-new Advantage360 Professional using ZMK engine

Language:ShellMIT000

A simple parser combinator in Kotlin

Language:KotlinBSD-2-Clause02 1

Language:KotlinBSD-3-Clause02 4

Razor sample specifications for PAAR14

Language:Alloy030

Config files for my GitHub profile.

000

Yet another simple parser combinator library in Rust

Language:RustMIT020