Baltoli

K Framework, compilers, formal verification

@runtimeverification, @kframeworkEdinburgh

Pinned Repositories

accsynt
Program synthesis tools and utilities for LLVM.
Language:C++20 3 93
alignment
Sequence alignment of program traces
Language:C++10
aoc
AoC solutions
Language:C++1 3 01
Baltoli.github.io
My personal site.
Language:JavaScript10
Rendezvous
GitHub repository for the Rendezvous iOS app, developed for charity in under 24 hours.
Language:Objective-C20
skeletons
Detection of parallel structure in C code.
Language:C++5 2 10
timer
Small script to track time usage
Language:Python20
value_ptr
Header-only library implementing a smart pointer with value semantics
Language:C++2 2 91
k
K Framework Tools 7.0
Language:Java452 38 1.2k150
llvm-backend
KORE to llvm translation
Language:C++36 25 24023

Baltoli's Repositories

Baltoli/accsynt
Program synthesis tools and utilities for LLVM.
Language:C++20 3 93
Baltoli/aoc
AoC solutions
Language:C++1 3 01
Baltoli/Baltoli.github.io
My personal site.
Language:JavaScript10
Baltoli/dotfiles
Personal .dotfiles
Language:Vim Script1
Baltoli/homebrew-misc
Testing location for Homebrew formulae
Language:Ruby1
Baltoli/jansi-minimise
Minimising Jansi errors on Apple Silicon
Language:Java1
Baltoli/k-spls
K definitions for SPLS July 2022
Language:Makefile1
Baltoli/liath
Pin tools for grey-box program synthesis.
Language:C++1 3 0
Baltoli/notify
Wrapper script to notify when a long-running script finishes.
Language:Shell1 2 0
Baltoli/site
Source code for my personal website.
Language:JavaScript1
Baltoli/wordle
Wordle bot test
Language:Python1
Baltoli/airliner
Baltoli/ethereum-tests
Common tests for all Ethereum implementations
Baltoli/evmone
Fast Ethereum Virtual Machine implementation
Baltoli/FileCheck.py
Attempt to reimplement LLVM's FileCheck using Python.
Language:Python2 0
Baltoli/homebrew-cask
🍻 A CLI workflow for the administration of macOS applications distributed as binaries
Language:Ruby
Baltoli/homebrew-issue
Minimal reproduction of a weird Homebrew issue
Language:Ruby2 0
Baltoli/immer
Postmodern immutable and persistent data structures for C++
Language:C++
Baltoli/install-nix-action
Installs Nix on GitHub Actions for the supported platforms: Linux and macOS.
Language:Shell
Baltoli/k-pcl
Implementation of PCL in K
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
Language:C
Baltoli/michelson-semantics
A K semantics of Tezos' Michelson language.
Language:Makefile
Baltoli/musicleague
Music League analysis tools
Language:Python
Baltoli/nixpkgs
Nix Packages collection
Language:Nix
Baltoli/poetry2nix
Convert poetry projects to nix automagically [maintainer=@adisbladis]
Language:Nix0 0
Baltoli/pybind-repro
Attempting to reproduce pybind issue
Language:C++
Baltoli/python-bpm
BPM detection for audio files (currently just .wav). Takes in the whole file, and prints out the BPM.
Language:Python
Baltoli/wasm-semantics
A Prototype Formal Semantics of WebAssembly in K