Pinned Repositories
DecisionTheory
crafting-interpreters-hs
Following the Crafting Interpreters book in Haskell
effects-toy
Playing with Haskell effect systems
fiveminutetimer
haskell-musings
haskell-todo
Toy todo-list service
lambda-play
Expriments in lambda-calculus implementation in haskell
ng2base
Boilerplate for angular2+typescript
Predict
App for logging predictions
gusbicalho's Repositories
gusbicalho/fiveminutetimer
gusbicalho/haskell-musings
gusbicalho/crafting-interpreters-hs
Following the Crafting Interpreters book in Haskell
gusbicalho/hs-core-join
gusbicalho/uncertain-gantt
Simulate uncertainty in projects
gusbicalho/advent
Advent of Code challenges
gusbicalho/applicative_ex
gusbicalho/bundles
Bundles
gusbicalho/bytestring-conversion
This repository has been moved to https://gitlab.com/twittner/bytestring-conversion
gusbicalho/casadameg
gusbicalho/crafting-interpreters-rs
gusbicalho/derivingvia-extras
Miscellaneous via types.
gusbicalho/distillery
Simplify deployments in Elixir with OTP releases!
gusbicalho/faraday
DynamoDB client for Clojure
gusbicalho/functorial-algebras
gusbicalho/grace
A ready-to-fork interpreted functional language with type inference
gusbicalho/graphql-java-clj
Thin wrapper for using GraphQL Java server in Clojure applications
gusbicalho/haskell-challenges
Code challenges to solve with Haskell
gusbicalho/idris-musings
gusbicalho/lacinia
GraphQL implementation in pure Clojure
gusbicalho/lambda_act
gusbicalho/monad-bayes
A library for probabilistic programming in Haskell.
gusbicalho/play-unison
playground codebase for unison
gusbicalho/quickspec
Equational laws for free
gusbicalho/spectacle
Embedded specification language & model checker in Haskell
gusbicalho/trying-elixir
gusbicalho/trying-idris-jvm
gusbicalho/trying-rust
gusbicalho/twee
An equational theorem prover based on Knuth-Bendix completion
gusbicalho/typed_struct
An Elixir library for defining structs with a type without writing boilerplate code.