JulianKnodt/small_sat JulianKnodt/small_sat

  • Stars
    star
    1
  • Language
    Rust
  • Created about 5 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JulianKnodt/small_sat
github

JulianKnodt

Reviews

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

Repository Details

A CDCL SAT Solver in Rust based on MiniSat.

More Repositories

1

nerf_atlas

A collection of NeRF extensions for fun and experimentation.
Python
116
star
2

graphqlify

Convert javascript objects to graphql SDL
JavaScript
3
star
3

satsuma

🍊 A SAT solver the size of a Satsuma intended for readability and efficiency.
Rust
3
star
4

allot_routing_table

https://www.hariguchi.org/art/art.pdf in Rust
Rust
3
star
5

vector

A simple vector library for golang
Go
2
star
6

julianknodt.github.io

HTML
2
star
7

mireba

Photorealistic Rendering Framework
Rust
2
star
8

mat-fst

Sparse Matrix library based on BurntSushi's FST library
HTML
2
star
9

quick_maths

Rust package with const generic vectors and matrices intended for graphics
Rust
2
star
10

gohide

Steganography written in golang
Go
2
star
11

artPanel

Render images in terminal
Go
2
star
12

texture_baking_supplementary

A dataset of 3D models for processing
Python
2
star
13

AN-Kotlin-Template

Android Kotlin Template
Java
1
star
14

youtube-cat

Create mp3s from a csv of youtube
Python
1
star
15

FlatTree

JavaScript
1
star
16

robot

This is a basic drivetrain for a robot.
C++
1
star
17

raytrace

A raytracer implemented in golang
Go
1
star
18

TigerMenuLite

A CLI app for tiger menu.
JavaScript
1
star
19

alzheimer_analysis

QCB final project analyzing miRNA expression in alzheimer's disease
Jupyter Notebook
1
star
20

websocket-server

A websocket server for golang which saves location
Go
1
star
21

philosopherDiningLazySuzy

Solution to Dining Philosophers using a lazy susan
JavaScript
1
star
22

turtle

A drawing turtle in go
Go
1
star
23

FluffyOctoEnigma

Elixir
1
star
24

git-compose

overcommit cloned to nodejs
Ruby
1
star
25

levenDistance

A simple c client for levenshtien between chars in c
C
1
star
26

intro_to_concurrency

A short intro to concurrency with some examples
Go
1
star
27

sportsVR

Sports VR Hackthon : Enflux to web port
JavaScript
1
star