salmans

Fastly

Pinned Repositories

Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
Language:Shell0 0 00
Aluminum
Minimal model generation in KodKod
Language:Java3 2 191
codd
A minimal in-memory database with relational algebraic expressions as queries
Language:Rust60 4 191
parsekt
A simple parser combinator in Kotlin
Language:Kotlin0 2 10
pluscal-workshop
TLA+ 101: Specifying Concurrent Processes in PlusCal
Language:TLA3 2 00
Razor
Language:Haskell5 6 780
razor-kotlin
Language:Kotlin0 2 40
RazorExamples
Razor sample specifications for PAAR14
Language:Alloy0 3 01
rust-z3-practice
solving a number of SAT problems using Z3
Language:Rust1 2 00
rusty-razor
Razor is a tool for constructing finite models for first-order theories
Language:Rust55 6 411

salmans's Repositories

salmans/codd
A minimal in-memory database with relational algebraic expressions as queries
Language:Rust60 4 191
salmans/rusty-razor
Razor is a tool for constructing finite models for first-order theories
Language:Rust55 6 411
salmans/Razor
Language:Haskell5 6 780
salmans/Aluminum
Minimal model generation in KodKod
Language:Java3 2 191
salmans/pluscal-workshop
TLA+ 101: Specifying Concurrent Processes in PlusCal
Language:TLA3 2 00
salmans/rust-z3-practice
solving a number of SAT problems using Z3
Language:Rust1 2 00
salmans/Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
Language:Shell0 0 00
salmans/parsekt
A simple parser combinator in Kotlin
Language:Kotlin0 2 10
salmans/razor-kotlin
Language:Kotlin0 2 40
salmans/RazorExamples
Razor sample specifications for PAAR14
Language:Alloy0 3 01
salmans/salmans
Config files for my GitHub profile.
salmans/simple-parsec
Yet another simple parser combinator library in Rust
Language:Rust2 0
salmans/wasm-tools
CLI and Rust libraries for low-level manipulation of WebAssembly modules
Language:Rust0 0