joonazan/coproduct joonazan/coproduct

  • Stars
    star
    2
  • Language
    Rust
  • Created about 2 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
joonazan/coproduct
github

joonazan

Reviews

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

Repository Details

generic coproduct types for Rust with minimal overhead

More Repositories

1

regex-equivalence

A web page for checking if two regular expressions match the same language.
Haskell
16
star
2

elm-type-inference

Type inference for Elm, written in Elm.
Elm
6
star
3

alternator

Rust
5
star
4

nina-fast-bluetooth

Bluetooth on the ESP32 coprocessor of your Arduino MKR Wifi 1010!
C
5
star
5

vec2

A 2d vector and matrix math library for Go.
Go
3
star
6

justified-type-inference

An implementation of Algorithm W in Idris with a complete proof
Idris
3
star
7

maximizer

The maximization step from Round Elimination
Rust
2
star
8

nixos-config

Emacs Lisp
1
star
9

crafting-path

Path of Exile crafting optimizer
Rust
1
star
10

sokoban

a code for an exercise where the students program sokoban's logic
Go
1
star
11

imagemagick-debian-webp

debian package that supports WebP and OpenCL.
C
1
star
12

go-opas

Suomenkielinen opas Go-kieleen aloittelijoille. Epälineaarinen, muistuttaa teknologiapuuta. Pyrkii kattamaan kaikki kielen ominaisuudet.
Go
1
star
13

krangle-viewer

View the krangled Path of Exile skill tree
HTML
1
star
14

elm-tetris

An elegant implementation of Tetris in Elm
Elm
1
star
15

salvador

Saves you from implementing DALI commands for doing common lighting tasks.
JavaScript
1
star