therewillbecode
Lean/Haskell/Rust/Typescript - "To ask the right question is harder than to answer it." Georg Cantor
Edinburgh, UK
therewillbecode's Stars
codecrafters-io/build-your-own-x
Master programming by recreating your favorite technologies from scratch.
practical-tutorials/project-based-learning
Curated list of project-based tutorials
koalaman/shellcheck
ShellCheck, a static analysis tool for shell scripts
diem/diem
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
NixOS/nix
Nix, the purely functional package manager
pyodide/pyodide
Pyodide is a Python distribution for the browser and Node.js based on WebAssembly
github/semantic
Parsing, analyzing, and comparing source code across many languages
google/differential-privacy
Google's differential privacy libraries.
tweag/asterius
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
iodide-project/iodide
Literate scientific computing and communication for the web
Wildhoney/ReactShadow
:beginner: Utilise Shadow DOM in React with all the benefits of style encapsulation.
mdn/webassembly-examples
Code examples that accompany the MDN WebAssembly documentation — see https://developer.mozilla.org/en-US/docs/WebAssembly.
well-typed/optics
Optics as an abstract interface
therewillbecode/poker-maison
🂺 A Multiplayer Poker App Crafted with Haskell and React
reazen/relude
FP-inspired prelude/standard library for ReasonML projects
ekmett/guanxi
Relational programming in Haskell. Mostly developed on twitch.
typeclasses/haskell-phrasebook
The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs
jaredly/milk
Milk 🥛 Stress-free serialization & deserialization for Reason/OCaml
segfault87/ldraw.rs
The complete LDraw software suite written in Rust.
imandra-ai/verified-react
Automated reasoning for React/ReasonML
stackbuilders/hapistrano
Deploy tool for Haskell applications, like Capistrano for Rails
bradparker/servant-beam-realworld-example-app
Exemplary fullstack Medium.com clone powered by Servant and Beam
haskell-servant/servant-graphql
CompSciCabal/reading-material
Reading schedule and our library of pdfs
typeclasses/stripe
Haskell libraries for working with the Stripe API
abarbu/servant-reason
Automatically derive bindings for Servant APIs in Reason
boxyoman/haskell-realworld-example
abarbu/reason-export
Create Reason types and JSON encoders/decoders for Haskell types
bor0/chip-8
CHIP-8 virtual machine was made to allow video games to be more easily programmed for said computers
jezen/minimal-hs-nix-aws
A minimal example setup for deploying a Haskell/Yesod app to AWS with Nix[OS/Ops]. Needs more infrastructure configuration.