JulianKnodt/small_sat

Stars
1
Language
Rust
Created about 5 years ago
Updated over 3 years ago

JulianKnodt/small_sat

JulianKnodt

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

A CDCL SAT Solver in Rust based on MiniSat.

nerf_atlas

A collection of NeRF extensions for fun and experimentation.

graphqlify

Convert javascript objects to graphql SDL

satsuma

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

allot_routing_table

https://www.hariguchi.org/art/art.pdf in Rust

vector

A simple vector library for golang

julianknodt.github.io

mireba

Photorealistic Rendering Framework

mat-fst

Sparse Matrix library based on BurntSushi's FST library

quick_maths

Rust package with const generic vectors and matrices intended for graphics

gohide

Steganography written in golang

artPanel

Render images in terminal

texture_baking_supplementary

A dataset of 3D models for processing

AN-Kotlin-Template

Android Kotlin Template

youtube-cat

Create mp3s from a csv of youtube

FlatTree

robot

This is a basic drivetrain for a robot.

raytrace

A raytracer implemented in golang

TigerMenuLite

A CLI app for tiger menu.

alzheimer_analysis

QCB final project analyzing miRNA expression in alzheimer's disease

Jupyter Notebook

websocket-server

A websocket server for golang which saves location

philosopherDiningLazySuzy

Solution to Dining Philosophers using a lazy susan

turtle

A drawing turtle in go

FluffyOctoEnigma

git-compose

overcommit cloned to nodejs

levenDistance

A simple c client for levenshtien between chars in c

intro_to_concurrency

A short intro to concurrency with some examples

sportsVR

Sports VR Hackthon : Enflux to web port