Baltoli/He-2 Baltoli/He-2

  • 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/He-2
github

Baltoli

Reviews

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

Repository Details

Fork and update of the original Helium implementation

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

rv-test

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

libidl

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

homebrew-issue

Minimal reproduction of a weird Homebrew issue
Ruby
1
star
20

notify

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

value_ptr_conan

Conan package for value_ptr
CMake
1
star
22

alignment

Sequence alignment of program traces
C++
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