jamii/imp

Various experiments in relational programming

Zig

276

23 commits

updated Feb 27, 2022

See the code

README

See scattered-thoughts.net/#imp_v3 for details.

nix-shell
zig build --help

Contributors

jamii

23 commits

Similar repos

ziglang/zig-spec

225

Anamitra-Sarkar/zenyx-v3

256lights/zb

An experiment in hermetic, reproducible build systems

406

idris-hackers/idris-demos

Collection of Idris tests and demonstration programs

195

matter-labs/zinc

The Zinc language public repository

310

DAJ8112/explore

Repo for various things I keep trying and exploring

AnyDSL/impala

An imperative and functional programming language

163

bcpeinhardt/learn_otp_with_gleam

A resource for learning the OTP framework with the Gleam programming language

425

Languages

Zig

98.2%

Nix

1.7%

jamii/imp

Various experiments in relational programming

Zig

276

23 commits

updated Feb 27, 2022

See the code

README

See scattered-thoughts.net/#imp_v3 for details.

nix-shell
zig build --help

Similar repos

ziglang/zig-spec

225

Anamitra-Sarkar/zenyx-v3

256lights/zb

An experiment in hermetic, reproducible build systems

406

idris-hackers/idris-demos

Collection of Idris tests and demonstration programs

195

matter-labs/zinc

The Zinc language public repository

310

DAJ8112/explore

Repo for various things I keep trying and exploring

AnyDSL/impala

An imperative and functional programming language

163

bcpeinhardt/learn_otp_with_gleam

A resource for learning the OTP framework with the Gleam programming language

425

Contributors

jamii

23 commits

Languages

Zig

98.2%

Nix

1.7%