Pinned Repositories
accsynt
Program synthesis tools and utilities for LLVM.
alignment
Sequence alignment of program traces
aoc
AoC solutions
Baltoli.github.io
My personal site.
Rendezvous
GitHub repository for the Rendezvous iOS app, developed for charity in under 24 hours.
skeletons
Detection of parallel structure in C code.
timer
Small script to track time usage
value_ptr
Header-only library implementing a smart pointer with value semantics
k
K Framework Tools 7.0
llvm-backend
KORE to llvm translation
Baltoli's Repositories
Baltoli/accsynt
Program synthesis tools and utilities for LLVM.
Baltoli/aoc
AoC solutions
Baltoli/Baltoli.github.io
My personal site.
Baltoli/dotfiles
Personal .dotfiles
Baltoli/homebrew-misc
Testing location for Homebrew formulae
Baltoli/jansi-minimise
Minimising Jansi errors on Apple Silicon
Baltoli/k-spls
K definitions for SPLS July 2022
Baltoli/liath
Pin tools for grey-box program synthesis.
Baltoli/notify
Wrapper script to notify when a long-running script finishes.
Baltoli/site
Source code for my personal website.
Baltoli/wordle
Wordle bot test
Baltoli/airliner
Baltoli/FileCheck.py
Attempt to reimplement LLVM's FileCheck using Python.
Baltoli/homebrew-cask
🍻 A CLI workflow for the administration of macOS applications distributed as binaries
Baltoli/homebrew-issue
Minimal reproduction of a weird Homebrew issue
Baltoli/immer
Postmodern immutable and persistent data structures for C++
Baltoli/install-nix-action
Installs Nix on GitHub Actions for the supported platforms: Linux and macOS.
Baltoli/k-pcl
Implementation of PCL in K
Baltoli/k-vagrant
Vagrantfile for K on Ubuntu
Baltoli/llvm-backend
KORE to llvm translation
Baltoli/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
Baltoli/LoopBenchmarks
Baltoli/michelson-semantics
A K semantics of Tezos' Michelson language.
Baltoli/musicleague
Music League analysis tools
Baltoli/nixpkgs
Nix Packages collection
Baltoli/poetry2nix
Convert poetry projects to nix automagically [maintainer=@adisbladis]
Baltoli/pybind-repro
Attempting to reproduce pybind issue
Baltoli/python-bpm
BPM detection for audio files (currently just .wav). Takes in the whole file, and prints out the BPM.
Baltoli/wasm-semantics
A Prototype Formal Semantics of WebAssembly in K
Baltoli/zero-to-proving-with-k
Solutions to the K tutorial workshop