math-fehr/reddit_reposts math-fehr/reddit_reposts

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Rust
  • License
    MIT License
  • Created almost 6 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
math-fehr/reddit_reposts
github

math-fehr

Reviews

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

Repository Details

More Repositories

1

fast-wfc

An implementation of Wave Function Collapse with a focus on performance.
C++
397
star
2

Bubbles

Bubbles ? Bubbles !
C
6
star
3

lucy-mlir

An implementation of Lustre-like language in MLIR
C++
6
star
4

WindOS

Experimental Raspberry Pi OS
C
5
star
5

PresburgerAI-Coq

Formal proof of a presburger abstract domain on a SSA language
Coq
4
star
6

fast-wfc-rs

An implementation of Wave Function Collapse with a focus on performance, in Rust.
Rust
3
star
7

Untitled-Language

Haskell
2
star
8

lucyrs

A compiler for a small synchronous language
Rust
2
star
9

advent-of-rust-23

Rust
2
star
10

PresburgerAI

Coq
1
star