zwegner/undulance zwegner/undulance

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    Python
  • Created over 10 years ago
  • Updated about 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
zwegner/undulance
github

zwegner

Reviews

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

Repository Details

Python Software Synthesis Framework

More Repositories

1

x86-sat

Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
Python
312
star
2

faster-utf8-validator

A very fast library for validating UTF-8 using AVX2/SSE4 instructions
C
217
star
3

x86-info-term

A terminal viewer for x86 instruction/intrinsic information using Python 3 + curses
Python
127
star
4

zp7

ZP7: Zach's Peppy Parallel-Prefix-Popcountin' PEXT/PDEP Polyfill
C
43
star
5

make.py

make.py, a fast Python-based build tool (fork of https://code.google.com/archive/p/make-py/)
Python
26
star
6

mutagen

Mutagen, a purely functional programming language with Pythonic syntax
Python
15
star
7

Miroslav

A proof-of-concept for a fast regex matcher using lossy NFA matching on SIMD
C++
12
star
8

sprdpl

Simple Python Recursive-Descent Parsing Library
Python
11
star
9

game-about-squares-solver

Solver for Game About Squares (gameaboutsquares.com)
Python
7
star
10

CubingB

CubingB is a timer/analyzer for speedsolving Rubik's cubes, with smart cube support
Python
6
star
11

slidey-blocky-thingy

Clone of Unblock Me/Rush Hour type games in react.js, with Python solver/puzzle generator
JavaScript
5
star
12

zmt

A vim-esque editor with a C backend and luajit frontend
C
3
star
13

obfusound

Old obfuscated sound-generating program, utilizing (asexual) genetic algorithms over tiny programs that run on a simple virtual machine.
C
2
star
14

stretchy

A basic Linjat/Ordinary Puzzles clone made with React
JavaScript
2
star
15

lc3b-sim

A simulator for the LC-3b microarchitecture.
C
2
star
16

pythonc

Pythonc, a Python 3->C++ compiler.
Python
2
star
17

tinychess

A very small obfuscated chess engine in C.
C
2
star
18

boro

Boro is a very basic Amazons engine written in C. It uses very dumb monte carlo/UCT for AI.
C
2
star
19

quines

Some old quines I wrote intermittently between 2008 and 2010
C
1
star
20

zct

ZCT, my old chess program
C
1
star
21

switchy

A simple javascript game of questionable entertainment value
Python
1
star
22

speedy

Speedy is a basic bitboard chess move generator framework in C.
C
1
star
23

prethon

Prethon is a Python based preprocessor. Take a text/code/whatever file with embedded Python macros and generate more text/code/whatever.
Python
1
star