aljce/mutable-state aljce/mutable-state

  • Stars
    star
    1
  • Language
    Rust
  • Created almost 7 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
aljce/mutable-state
github

aljce

Reviews

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

Repository Details

More Repositories

1

unpacked-maybe

Haskell
8
star
2

servant-render

Servant + Reflex = Web Framework
Haskell
5
star
3

stt

Monad Transformer for ST
Haskell
4
star
4

siphon

Parsing CSVs
Haskell
3
star
5

kpf

Haskell
3
star
6

nixos-configuration

Alice McKean's Nixos Configuration
Nix
3
star
7

hrecursion-schemes

Haskell
3
star
8

pipes-protolude

Alternate Prelude for the pipes ecosystem
Haskell
2
star
9

hmap

Agda
2
star
10

avl

Agda
2
star
11

purescript-typeahead

Twitter typeahead.js port to purescript
PureScript
2
star
12

ava

Haskell
1
star
13

hchess

Haskell Chess Engine
HTML
1
star
14

ferus

An OCaml clone (for now)
Rust
1
star
15

compcomp

Formalizations of Computability and Complexity proofs
Agda
1
star
16

thesis

A Replication of the AKS Primality Decision Algorithm
Agda
1
star
17

trasa-bittrex

Well typed bittrex bindings with trasa
Haskell
1
star
18

contiguous-sized

A safe, generic, sized indexed interface to primitive
Haskell
1
star
19

fast-vec

Haskell
1
star