kshaa/plfa-agda kshaa/plfa-agda

  • Stars
    star
    1
  • Language Agda
  • Created over 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kshaa/plfa-agda
github

kshaa

Reviews

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

Repository Details

More Repositories

1

keyboard-distance-randomizer

JavaScript
4
star
2

racer

Rust
3
star
3

auto-sacikstes

"Auto sacīkstes" multiplayer racing game client written in C w/ SDL2
C
2
star
4

kshaa-landing-access

GeoIP map rendered with R in Nix
Nix
1
star
5

dip-testbed-dist

Verilog
1
star
6

reddit-promotion-bodge

JavaScript
1
star
7

nixops-docker-compositions

Managing systemd units and docker compositions on machines with NixOps.
Nix
1
star
8

flowtris

WebRTC, React Tetris
JavaScript
1
star
9

node-memory-leak

TypeScript
1
star