sdleffler/leviathan sdleffler/leviathan

  • Stars
    star
    1
  • Language
    Rust
  • Created about 8 years ago
  • Updated about 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sdleffler/leviathan
github

sdleffler

Reviews

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

Repository Details

Behemoth 2.0: Peano Boogaloo

More Repositories

1

tarpit-rs

A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
Rust
211
star
2

collapse

A reimplementation/(pending) improvement on the wavefunction collapse texture synthesis algorithm.
Rust
124
star
3

qp-trie-rs

An idiomatic and fast QP-trie implementation in pure Rust.
Rust
85
star
4

type-operators-rs

A macro for defining type operators in Rust.
Rust
61
star
5

whisper

Logic programming, for Rust, from inside Rust.
Rust
35
star
6

hv-dev

Slow down, upon the teeth of Orange: Heavy is an opinionated, efficient, relatively lightweight, and tightly Lua-integrated game framework for Rust.
Rust
14
star
7

thunk-rs

Generic lazy evaluation for Rust.
Rust
7
star
8

type-level-logic-rs

Bits and bytes of type-level operations, implemented using the type-operators crate.
Rust
7
star
9

empty-box-rs

A Rust type for safely moving values in and out of boxes without unnecessary new allocations.
Rust
6
star
10

sludge

ECS/Lua integration plus other opinionated goodies for game development in Rust with batteries.
Rust
5
star
11

colosseum-rs

A variety of arena allocators for Rust.
Rust
5
star
12

rad-rs

Safe, high-level RADOS bindings using the ceph-rust bindings.
Rust
5
star
13

behemoth

A horrible, demonic experiment in Rust macro abuse.
Rust
3
star
14

heavy

Slow down, upon the teeth of Orange.
Rust
2
star
15

carthage-rs

RDF graph parsing and manipulation in Rust.
Rust
2
star
16

whisper_std

Whisper lang standard library.
Rust
2
star
17

droptune

A collection of Lua libraries for jump-starting a Lร–VE project.
Lua
1
star
18

macro-abuse

A few examples of Rust macro abuse which I found particularly fun.
Rust
1
star
19

soft-edge

Efficient bithackery for making 3D collision meshes out of grids and stacked tile maps
Rust
1
star
20

calculi

Lambda calculus playground.
Rust
1
star
21

tll-array-rs

Arrays with type-encoded lengths.
Rust
1
star
22

tll-iterator-rs

Statically-sized iterators for Rust.
Rust
1
star