baltoli Goto Github PK

accsynt

Program synthesis tools and utilities for LLVM.

airliner

alignment

Sequence alignment of program traces

aoc

AoC solutions

ast

Library for manipulating pure abstract syntax trees

baltoli.github.io

My personal site.

bnf

Generate PEGTL parsers from BNF grammar descriptions.

c82

Revisiting Chip-8

candl-lexer

Pygments plugin implementing a lexer for the CAnDL DSL

characterising-neural-compression

Code for "Characterising Across Stack Optimisations for Deep Convolutional Neural Networks"

chip8

Chip8 emulator

clang

Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.

code2vec

TensorFlow code for the neural network presented in the paper: "code2vec: Learning Distributed Representations of Code"

cpp-template

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

dotfiles

Personal .dotfiles

expenses

Small personal-use API for tracking expenses

filecheck.py

Attempt to reimplement LLVM's FileCheck using Python.

fixed-trunc

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

frangel

A Java program synthesizer.

fsm

C++ template library for working with finite state machines.

he-2

Fork and update of the original Helium implementation

hole-c-lexer

Pygments lexer for C with holes

homebrew-cask

🍻 A CLI workflow for the administration of macOS applications distributed as binaries

homebrew-issue

Minimal reproduction of a weird Homebrew issue

homebrew-metaborg

Metaborg Homebrew Tap

homebrew-misc

Testing location for Homebrew formulae

homebrew-tesla

Homebrew formulae for TESLA

immer

Postmodern immutable and persistent data structures for C++

install-nix-action

Installs Nix on GitHub Actions for the supported platforms: Linux and macOS.

interfind

Flexible, automatic discovery of library-compatible code from vendor-provided information.