Baltoli/accsynt

Stars
19
Rank 1,163,249 (Top 23 %)
Language
C++
Created almost 7 years ago
Updated over 1 year ago

Baltoli/accsynt

Baltoli

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Program synthesis tools and utilities for LLVM.

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

Rendezvous

GitHub repository for the Rendezvous iOS app, developed for charity in under 24 hours.

cpp-template

Minimal template to set up a C++ project using CMake and Conan

homebrew-misc

Testing location for Homebrew formulae

PCL

Implementation of a language and virtual machine based on the pi-calculus.

chip8

sparse

Small SPMV implementations

c82

Revisiting Chip-8

jit-call

Simple interface to LLVM's JIT libraries.

jansi-minimise

Minimising Jansi errors on Apple Silicon

liath

Pin tools for grey-box program synthesis.

hole-c-lexer

Pygments lexer for C with holes

aoc

He-2

Fork and update of the original Helium implementation

rv-test

Solution to Runtime Verification technical assessment.

libidl

Consumable library frontend for the IDL constraint language.

homebrew-issue

Minimal reproduction of a weird Homebrew issue

notify

Wrapper script to notify when a long-running script finishes.

value_ptr_conan

Conan package for value_ptr

alignment

Sequence alignment of program traces

site

Source code for my personal website.

Baltoli.github.io

My personal site.

peggo

PEG parser generator

latex-plot-utils

Common code for Matplotlib & LaTeX integration

upflow-test

Solution for Upflow technical assessment.

upflow-test-client

Tiny webhook client for Upflow PDF submission server.

fixed-trunc

Small tool to automatically truncate and continue fixed-format fortran source lines.

dotfiles

Personal .dotfiles

wordle

Wordle bot test

candl-lexer

Pygments plugin implementing a lexer for the CAnDL DSL

matrix-market

C++ library for performing I/O on Matrix Market files.

k-spls

K definitions for SPLS July 2022