Pinned Repositories
clickElse
cwh
Calculator with history
dafny
Dafny is a verification-aware programming language
deno-manual-export
Export Deno Manual to PDF
knights-tour
A knight's tour demo implemented in Rust using the egui immediate mode GUI.
mila
Compiler for Mila - a subset of Pascal - using LLVM written in Rust
orbitals_app
Mirror of https://gitlab.com/asmarcz/orbitals_app Repository for Orbitals.app.
TinyLISP
A tiny LISP implementation in Scala as an SECD virtual machine.
ubuntu-machine-setup
Script to install common stuff I use on a Ubuntu machine.
asmarcz's Repositories
asmarcz/deno-manual-export
Export Deno Manual to PDF
asmarcz/orbitals_app
Mirror of https://gitlab.com/asmarcz/orbitals_app Repository for Orbitals.app.
asmarcz/ubuntu-machine-setup
Script to install common stuff I use on a Ubuntu machine.
asmarcz/clickElse
asmarcz/cwh
Calculator with history
asmarcz/dafny
Dafny is a verification-aware programming language
asmarcz/flux
Refinement Types for Rust
asmarcz/knights-tour
A knight's tour demo implemented in Rust using the egui immediate mode GUI.
asmarcz/mila
Compiler for Mila - a subset of Pascal - using LLVM written in Rust
asmarcz/prl-prg.github.io
asmarcz/summer-of-solana-calculator
asmarcz/TinyLISP
A tiny LISP implementation in Scala as an SECD virtual machine.