coreyoconnor/scala-gtk-example coreyoconnor/scala-gtk-example

  • Stars
    star
    1
  • Language
    Scala
  • Created about 1 year ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
coreyoconnor/scala-gtk-example
github

coreyoconnor

Reviews

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

Repository Details

More Repositories

1

nix_configs

The NixOS configuration for my desktop.
Nix
37
star
2

tensorderp

Scala
3
star
3

RCs

repo of all the RCs and configs I use
Emacs Lisp
3
star
4

type-level-tf

Type level numerics for Haskell using type families. Based on type-level.
Haskell
3
star
5

scalatromino

Scala
3
star
6

bind-marshal

Haskell data marshaling layer. Uses type level equations to optimize buffering.
Haskell
2
star
7

retronix

RetroArch + NixOS + Opinions
Nix
2
star
8

learn-coq

various exercises I've worked through (or failed to work through) while learning the proof assistant Coq.
Coq
2
star
9

corebot-bliki

a git based wiki using yesod
Haskell
1
star