Anderssorby/rustyverse Anderssorby/rustyverse

  • Stars
    star
    1
  • Language
    Rust
  • License
    GNU Affero Genera...
  • Created about 2 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Anderssorby/rustyverse
github

Anderssorby

Reviews

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

Repository Details

Rust ActivityPub node (wip)

More Repositories

1

SDL.lean

SDL2 bindings for lean
Lean
16
star
2

Nix.lean

Nix expressions and derivations in lean (in development)
Lean
6
star
3

FORCE-2019-core

Python
2
star
4

Corecompiler

The core language compiler
Java
1
star
5

Godot.lean

Nix
1
star
6

hextech

A turn based dynamic strategy game written in Haskell (unfinished)
Haskell
1
star