- Edinburgh, UK
Highlights
- Pro
-
-
typst Public
Forked from typst/typstA new markup-based typesetting system that is powerful and easy to learn.
Rust Apache License 2.0 UpdatedJul 20, 2024 -
poker-maison Public
Forked from ConsenSysMesh/fae-demo🂺 A Multiplayer Poker App Crafted with Haskell and React
-
-
lean-workbook Public
A collection of maths exercises and solutions for the Lean theorem prover
MIT License UpdatedFeb 23, 2024 -
math2001 Public
Forked from hrmacbeth/math2001Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
HTML UpdatedOct 25, 2023 -
formalising-mathematics-2023 Public
Forked from ImperialCollegeLondon/formalising-mathematics-2023repository for material for Jan-Mar 2023 course on formalising mathematics
Lean UpdatedOct 10, 2023 -
react-motion Public
Forked from chenglou/react-motionA spring that solves your animation problems.
JavaScript MIT License UpdatedSep 2, 2022 -
gatsby-starter-minimal-blog Public
Typography driven, feature-rich blogging theme with minimal aesthetics. Includes tags/categories support and extensive features for code blocks such as live preview, line numbers, and line highligh…
JavaScript BSD Zero Clause License UpdatedMar 21, 2022 -
formalising-mathematics-2022 Public
Forked from ImperialCollegeLondon/formalising-mathematics-2022Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.
Lean UpdatedJan 24, 2022 -
formalising-mathematics Public
Forked from ImperialCollegeLondon/formalising-mathematicsMaterial for Kevin Buzzard's 2021 TCC courrse on formalising mathematics.
Lean Apache License 2.0 UpdatedDec 7, 2021 -
-
AlgoCasts Public
Forked from StephenGrider/AlgoCastsJavaScript GNU General Public License v3.0 UpdatedOct 3, 2020 -
-
-
bf-wasm-compiler Public
BF to Webassembly compiler implemented in Haskell
-
awesome-react Public
Forked from enaqx/awesome-reactA collection of awesome things regarding React ecosystem
UpdatedAug 12, 2019 -
haskell-study-plan Public
Forked from soupi/haskell-study-planAn opinionated list of resources for learning Haskell
-
react-poker Public
A React Library For Poker Card Game Animations
-
functional-interpreter Public
An Interpreter for a Simple Functional Language
-
-
Fae-1 Public
Forked from ConsenSysMesh/FaeA functional smart contract system
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMar 19, 2019 -
bs-react-stripe-elements Public
Forked from cnguy/bs-react-stripe-elementsWork in progress ReasonReact bindings for react-stripe-elements
OCaml MIT License UpdatedOct 2, 2018 -
-
miso Public
Forked from dmjio/miso🍜 A tasty Haskell front-end framework
Haskell BSD 3-Clause "New" or "Revised" License UpdatedApr 15, 2018 -
documentation Public
Forked from purescript/documentationDocumentation for the PureScript language, compiler, and tools.
UpdatedApr 11, 2018 -
react-redux-example Public
React, Redux, Redux-Form, Immutable, Jest, Enzyme, React-Router, 0Auth and Docker
-
-
enzyme Public
Forked from enzymejs/enzymeJavaScript Testing utilities for React
JavaScript MIT License UpdatedSep 16, 2017 -
create-react-module Public
Create a react library with no build configuration
MIT License UpdatedJul 30, 2017