Baltoli/alignment Baltoli/alignment

  • Stars
    star
    1
  • Language
    C++
  • License
    MIT License
  • Created about 4 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Baltoli/alignment
github

Baltoli

Reviews

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

Repository Details

Sequence alignment of program traces

More Repositories

1

accsynt

Program synthesis tools and utilities for LLVM.
C++
19
star
2

skeletons

Detection of parallel structure in C code.
C++
5
star
3

timer

Small script to track time usage
Python
2
star
4

value_ptr

Header-only library implementing a smart pointer with value semantics
C++
2
star
5

Rendezvous

GitHub repository for the Rendezvous iOS app, developed for charity in under 24 hours.
Objective-C
2
star
6

cpp-template

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

homebrew-misc

Testing location for Homebrew formulae
Ruby
1
star
8

PCL

Implementation of a language and virtual machine based on the pi-calculus.
Scala
1
star
9

chip8

Chip8 emulator
C
1
star
10

sparse

Small SPMV implementations
C++
1
star
11

c82

Revisiting Chip-8
Rust
1
star
12

jit-call

Simple interface to LLVM's JIT libraries.
CMake
1
star
13

jansi-minimise

Minimising Jansi errors on Apple Silicon
Java
1
star
14

liath

Pin tools for grey-box program synthesis.
C++
1
star
15

hole-c-lexer

Pygments lexer for C with holes
Python
1
star
16

aoc

AoC solutions
C++
1
star
17

He-2

Fork and update of the original Helium implementation
C++
1
star
18

rv-test

Solution to Runtime Verification technical assessment.
C++
1
star
19

libidl

Consumable library frontend for the IDL constraint language.
C++
1
star
20

homebrew-issue

Minimal reproduction of a weird Homebrew issue
Ruby
1
star
21

notify

Wrapper script to notify when a long-running script finishes.
Shell
1
star
22

value_ptr_conan

Conan package for value_ptr
CMake
1
star
23

site

Source code for my personal website.
JavaScript
1
star
24

Baltoli.github.io

My personal site.
JavaScript
1
star
25

peggo

PEG parser generator
C
1
star
26

latex-plot-utils

Common code for Matplotlib & LaTeX integration
Python
1
star
27

upflow-test

Solution for Upflow technical assessment.
TypeScript
1
star
28

upflow-test-client

Tiny webhook client for Upflow PDF submission server.
TypeScript
1
star
29

fixed-trunc

Small tool to automatically truncate and continue fixed-format fortran source lines.
C++
1
star
30

dotfiles

Personal .dotfiles
Vim Script
1
star
31

wordle

Wordle bot test
Python
1
star
32

candl-lexer

Pygments plugin implementing a lexer for the CAnDL DSL
Python
1
star
33

matrix-market

C++ library for performing I/O on Matrix Market files.
Objective-C
1
star
34

k-spls

K definitions for SPLS July 2022
Makefile
1
star