LilithHafner/Oak LilithHafner/Oak

  • Stars
    star
    1
  • Language
    Python
  • Created over 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
LilithHafner/Oak
github

LilithHafner

Reviews

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

Repository Details

Turing Machine Synthesis based on a SAT solver

More Repositories

1

Chairmarks.jl

Benchmarks with back support
Julia
81
star
2

UpdateJulia.jl

Simple cross platform Julia installer
Julia
58
star
3

BasicAutoloads.jl

"whenever I type this in the REPL, run that for me"
Julia
55
star
4

RegressionTests.jl

Regression tests without false positives
Julia
19
star
5

PtrArrays.jl

Back to the stone age!
Julia
17
star
6

Quickdraw

Install and use Julia packages with a single command on systems that may or may not already have Julia.
13
star
7

CodeSearch.jl

Syntax aware code search for Julia
Julia
13
star
8

Jokes

Jokes
Julia
11
star
9

AliasTables.jl

An efficient sampler for discrete random variables
Julia
8
star
10

InterLanguageSortingComparisons

Rust
6
star
11

WordLists.jl

Dictionaries without definitions
Julia
6
star
12

Bisect.jl

Julia
6
star
13

FunctionalBallDropping.jl

A unification of (hyper)graph model generation.
Julia
4
star
14

CompiledPermutations.jl

Compile permutations for efficient repeated application
Julia
4
star
15

SpaceInvaders.jl

Julia
4
star
16

EcosystemExplorer.jl

Explore the Julia package ecosystem
Julia
3
star
17

Minesweeper.jl

Play Minesweeper!
Julia
2
star
18

QuickerSort.jl

TeX
1
star
19

ai

Python
1
star
20

DigitalPerformanceArt

Python
1
star
21

ExtractLinks.jl

Extract links from a webpage
HTML
1
star
22

SortedIteratorProducts.jl

Compute the cartesian product of iterators and preserve sortedness
Julia
1
star