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/zero-to-proving-with-k
Solutions to the K tutorial workshop
Baltoli/k-vagrant
Vagrantfile for K on Ubuntu
Baltoli/hole-c-lexer
Pygments lexer for C with holes
Language:Python1
Baltoli/pygments
Pygments is a generic syntax highlighter written in Python
Baltoli/candl-lexer
Pygments plugin implementing a lexer for the CAnDL DSL
Language:Python1
Baltoli/latex-plot-utils
Common code for Matplotlib & LaTeX integration
Language:Python1
Baltoli/characterising-neural-compression
Code for "Characterising Across Stack Optimisations for Deep Convolutional Neural Networks"
Language:C
Baltoli/rv-test
Solution to Runtime Verification technical assessment.
Language:C++1
Baltoli/upflow-test-client
Tiny webhook client for Upflow PDF submission server.
Language:TypeScript1
Baltoli/upflow-test
Solution for Upflow technical assessment.
Language:TypeScript1
Baltoli/c82
Revisiting Chip-8
Language:Rust1
Baltoli/klee
KLEE Symbolic Execution Engine
Baltoli/He-2
Fork and update of the original Helium implementation
Language:C++1
Baltoli/alignment
Sequence alignment of program traces
Language:C++1
Baltoli/homebrew-metaborg
Metaborg Homebrew Tap
Language:Ruby
Baltoli/jit-call
Simple interface to LLVM's JIT libraries.
Language:CMake1
Baltoli/peggo
PEG parser generator
Language:C1
Baltoli/FrAngel
A Java program synthesizer.
Language:Java
Baltoli/llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.
Language:LLVM
Baltoli/code2vec
TensorFlow code for the neural network presented in the paper: "code2vec: Learning Distributed Representations of Code"
Language:Python
Baltoli/cpp-template
Minimal template to set up a C++ project using CMake and Conan
Language:CMake1
Baltoli/value_ptr
Header-only library implementing a smart pointer with value semantics
Language:C++21
Baltoli/chip8
Chip8 emulator
Language:C1
Baltoli/clang
Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.
Language:C++
Baltoli/synths
Aggregation and evaluation of state-of-the-art program synthesisers.
Language:C
Baltoli/libidl
Consumable library frontend for the IDL constraint language.
Language:C++1
Baltoli/value_ptr_conan
Conan package for value_ptr
Language:CMake1
Baltoli/fixed-trunc
Small tool to automatically truncate and continue fixed-format fortran source lines.
Language:C++1
Baltoli/bnf
Generate PEGTL parsers from BNF grammar descriptions.
Language:C++
Baltoli/interfind
Flexible, automatic discovery of library-compatible code from vendor-provided information.
Language:C++