davidad/symvar davidad/symvar

  • Stars
    star
    1
  • Language
    C
  • Created over 14 years ago
  • Updated over 14 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
davidad/symvar
github

davidad

Reviews

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

Repository Details

Symbolic Variable Tracking

More Repositories

1

8queens

x64 assembler solution to n-queens problem. Not tested for n!=8.
Assembly
61
star
2

fasm_example_64

Using FASM (the Flat assembler) cross-platform (OSX/Linux)
Assembly
21
star
3

asm_concurrency

A demo of concurrency primitives in x64 assembly
Assembly
17
star
4

selfviz

A LaTeX/TikZ rendering template for plotting some "quantified self" data against a UTC x-axis.
14
star
5

mesh

Software from scratch. An OS with the heart of a database.
Assembly
14
star
6

five-letters

Matt Parker waited 31 days for his code to solve this puzzle. I waited 445 milliseconds.
Rust
11
star
7

vnchacks

Sane GUIs as VNC servers
C
9
star
8

asmx

Just some stuff in FASM
Assembly
7
star
9

chit

(early experiments toward) a version-control system for structured data
Rust
6
star
10

lib6dof

Simple C library for 3DConnexion devices based on signal11/hidapi
C
6
star
11

fhtw

Fastest Hash Table in the West
C
6
star
12

shootout

Algorithm & Data Structure shootout
5
star
13

yield

Coroutines in C using swapcontext()
C
4
star
14

PhysNet

PhysNet
Python
3
star
15

davidad.github.io

Technical Journal
JavaScript
3
star
16

libeqh

C
3
star
17

kokompe-old

Resurrected kokompe repository from 2008
C++
2
star
18

am147_project

C
2
star
19

rala

The master RALA repository
2
star
20

c_web_app

C
2
star
21

lux

Artificial Sunrise control program
C
2
star
22

fingering

An engine to determine the most efficient fingerings of chord sequences on musical instruments.
C
2
star
23

forecasting

Future forecasting based upon geometric inference
Lua
2
star
24

differential_evolution

What a fascinating little optimization algorithm.
Lua
2
star
25

generate_cert

Code I've used for creating HTTPS client certificates (platform: PL/PerlU, OpenResty)
Perl
1
star
26

etir

SU GSP10 Space-TP ETIR
Shell
1
star
27

conformal_propulsion

Experimental Control Program for Conformal Propulsion
C
1
star
28

rala_util

Collection of efficient utilities for RALA research
C
1
star
29

points

Don't you want some~?
1
star
30

nodes

Hacker School project representing Boolean algebra in interesting ways
C
1
star
31

hypercerts

1
star
32

weather

Visualizing weather trends from NWS data
TeX
1
star
33

asymptones_script

Asymptones Concert Script (for May 2011 concert)
1
star
34

tsfix

Code to attempt to debug SpaceX's corrupted MPEG-TS stream
C
1
star
35

awesome-keyboard

Make your keyboard sound awesome again!
Python
1
star
36

mmm

Music, Mind and Meaning
1
star