therewillbecode
Lean/Haskell/Rust/Typescript - "To ask the right question is harder than to answer it." Georg Cantor
Edinburgh, UK
therewillbecode's Stars
PostHog/posthog
🦔 PostHog provides open-source product analytics, session recording, feature flagging and A/B testing that you can self-host.
iterative/dvc
🦉 ML Experiments and Data Management with Git
plouc/nivo
nivo provides a rich set of dataviz components, built on top of the awesome d3 and React libraries
segmentio/evergreen
🌲 Evergreen React UI Framework by Segment
connorferster/handcalcs
Python library for converting Python calculations into rendered latex.
tensorflow/rust
Rust language bindings for TensorFlow
PistonDevelopers/piston
A modular game engine written in Rust
alin23/Lunar
Intelligent adaptive brightness for your external monitors
SimulaVR/Simula
Linux VR Desktop
bake-bake-bake/bakeware
Compile Elixir applications into single, easily distributed executable binaries
clash-lang/clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
bgavran/Category_Theory_Machine_Learning
List of papers studying machine learning through the lens of category theory
TankerHQ/sdk-js
Tanker client-side encryption SDK for JavaScript
jagajaga/FP-Course-ITMO
Slides and other materials for functional programming lectures ITMO university
haskell/ghcide
A library for building Haskell IDE tooling
quchen/stgi
A user-centric visual STG implementation to help understand GHC/Haskell's execution model.
GiggleLiu/NiLang.jl
A differential eDSL that can run faster than light and go back to the past.
ChrisPenner/slick
Static site generator built on Shake configured in Haskell
arecvlohe/reasonml-cheat-sheet
A cheat sheet for ReasonML -- WIP
disco-lang/disco
Functional teaching language for use in a discrete mathematics course
Bodigrim/arithmoi
Number theory: primes, arithmetic functions, modular computations, special sequences
haskellari/postgresql-simple
Mid-level client library for accessing PostgreSQL from Haskell
Southern-Exposure-Seed-Exchange/southernexposure.com
Southern Exposure's E-Commerce Website, Built with Haskell & Elm.
sras/servant-examples
A bunch of examples that show how to do stuff using Haskell's Servant web framework
DataDaoDe/Ongoing-Challenges-in-Computer-Science
Lists of ongoing challenges in fields of or closely related to computer science
reazen/relude-fetch
Relude interop library for the fetch API
mmalvarez/Gazelle
Gazelle = Generalized Elle. A framework for reusable programming language semantics.
danilkolikov/dfl
Differentiable Functional Language
plow-technologies/bs-aeson-spec
gucci-beno/first-javascript-tutorial