amuricys

haskell. cur: @carboncloud, prev @klarna @nubank

Pinned Repositories

curry-clj
Language:Clojure00
decaigine
Reimplementation of Denjine
Language:C00
Euterpea2
Euterpea version 2
Language:Haskell00
followings
type driven deve w idris, plfa, probabilistic programming
Language:Agda00
heural
Haskell neural network
00
hs-aws
Repo for playing with the integrations between Haskell and AWS infra :)
Language:Nix00
lispy-rusty
Building Our Own Lisp (in Rust)! http://www.buildyourownlisp.com/
Language:Rust30
polynomial-functors
Language:TeX5 4 00
sa-surface-2d
Language:C++00
sars
Simulated annealing in Rust
Language:Rust00

amuricys's Repositories

amuricys/polynomial-functors
Language:TeX5 4 00
amuricys/lispy-rusty
Building Our Own Lisp (in Rust)! http://www.buildyourownlisp.com/
Language:Rust30
amuricys/curry-clj
Language:Clojure00
amuricys/decaigine
Reimplementation of Denjine
Language:C00
amuricys/Euterpea2
Euterpea version 2
Language:Haskell00
amuricys/followings
type driven deve w idris, plfa, probabilistic programming
Language:Agda00
amuricys/heural
Haskell neural network
00
amuricys/hs-aws
Repo for playing with the integrations between Haskell and AWS infra :)
Language:Nix00
amuricys/sa-surface-2d
Language:C++00
amuricys/sars
Simulated annealing in Rust
Language:Rust00
amuricys/open-games-hs
Haskell implementation of open games
Language:Haskell
amuricys/simulador-ias
simulador para trabalho2
Language:Assembly
amuricys/slack-web
Haskell bindings to the Slack web API
Language:Haskell
amuricys/tda283
Material for TDA283 / DIT300 Compiler Construction
amuricys/toys
toys, learnings and exercises
Language:Assembly
amuricys/txt-maroto
dotfiles
Language:Haskell
amuricys/website
code for the website i want to host my things
Language:PureScript