• Stars
    star
    12
  • Rank 1,597,372 (Top 32 %)
  • Language
    Rust
  • Created over 3 years ago
  • Updated about 1 year ago

Reviews

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

Repository Details

An educational SAT solver written in Rust

More Repositories

1

solved-hacking-problem

โœ”๏ธ My solutions for CTF & wargame challenges
HTML
85
star
2

rust-cve

CVEs for the Rust standard library
Rust
48
star
3

webworker-with-typescript

Two example projects which use WebWorker in TypeScript + Webpack environment.
TypeScript
32
star
4

phd-bookmark

A collection of online resources that I found useful for Ph.D. students
14
star
5

sunburn

A PoC library for Solana smart contracts
Rust
9
star
6

resume

๐Ÿ“ Personal History
HTML
5
star
7

ctf-env-setup

๐ŸŽฒ CTF environment setup script for Ubuntu
Shell
4
star
8

komodi

Visual programming language with static typing and translation-time check
JavaScript
3
star
9

cryptomato

๐Ÿ”’๐Ÿ… A fresh approach to learn applied cryptography
Python
2
star
10

scala-distributed-sorting

Distributed Sorting written in Scala
Groff
2
star
11

soma

๐Ÿ‘พ PWN problem manager
Python
2
star
12

blog

Finally building a new blog
2
star
13

GSHSmeal

๐Ÿด GSHS meal rating system
JavaScript
1
star
14

synthetic-friend

๐Ÿ™‹ Your friendly chat bot
HTML
1
star
15

AI2015-python3

2015 ํฌ์นด์ „ ์Šฌ๋ผ์ž„ ๋•…๋”ฐ๋จน๊ธฐ Python 3 Skeleton
Python
1
star
16

GraphAnalyzer

GSHS R&E project - filter and visualize time series graph data
ActionScript
1
star
17

blind-vote

๐Ÿ™ˆ ํŒŒ์ด์ฌ Flask ํ”„๋ ˆ์ž„์›Œํฌ๋กœ ๋งŒ๋“ค์–ด์ง„ ๊ฐ„๋‹จํ•œ ์ต๋ช…ํˆฌํ‘œ ์‚ฌ์ดํŠธ์ž…๋‹ˆ๋‹ค.
Python
1
star
18

too-many-lists

Notebook for https://rust-unofficial.github.io/too-many-lists/
Rust
1
star