JulianKnodt/satsuma JulianKnodt/satsuma

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Rust
  • Created over 4 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JulianKnodt/satsuma
github

JulianKnodt

Reviews

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

Repository Details

🍊 A SAT solver the size of a Satsuma intended for readability and efficiency.

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

allot_routing_table

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

vector

A simple vector library for golang
Go
2
star
5

julianknodt.github.io

HTML
2
star
6

mireba

Photorealistic Rendering Framework
Rust
2
star
7

mat-fst

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

quick_maths

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

gohide

Steganography written in golang
Go
2
star
10

artPanel

Render images in terminal
Go
2
star
11

texture_baking_supplementary

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

AN-Kotlin-Template

Android Kotlin Template
Java
1
star
13

youtube-cat

Create mp3s from a csv of youtube
Python
1
star
14

FlatTree

JavaScript
1
star
15

robot

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

raytrace

A raytracer implemented in golang
Go
1
star
17

TigerMenuLite

A CLI app for tiger menu.
JavaScript
1
star
18

alzheimer_analysis

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

websocket-server

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

philosopherDiningLazySuzy

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

turtle

A drawing turtle in go
Go
1
star
22

FluffyOctoEnigma

Elixir
1
star
23

git-compose

overcommit cloned to nodejs
Ruby
1
star
24

levenDistance

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

intro_to_concurrency

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

sportsVR

Sports VR Hackthon : Enflux to web port
JavaScript
1
star
27

small_sat

A CDCL SAT Solver in Rust based on MiniSat.
Rust
1
star