-
oxc Public
Forked from oxc-project/oxc⚓ A collection of JavaScript tools written in Rust.
Rust MIT License UpdatedApr 16, 2025 -
rust-clippy Public
Forked from rust-lang/rust-clippyA bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
Rust Other UpdatedMar 6, 2025 -
ts-semver-check Public
Inspired by cargo-semver-checks and uses the oxc toolchain.
MIT License UpdatedMar 4, 2025 -
ratatui Public
Forked from ratatui/ratatuiA Rust crate for cooking up terminal user interfaces (TUIs) 👨🍳🐀 https://ratatui.rs
Rust MIT License UpdatedMar 1, 2025 -
cargo-semver-checks Public
Forked from obi1kenobi/cargo-semver-checksScan your Rust crate for semver violations.
Rust Apache License 2.0 UpdatedMar 1, 2025 -
eslint-plugin-promise Public
Forked from eslint-community/eslint-plugin-promiseEnforce best practices for JavaScript promises
JavaScript ISC License UpdatedMar 1, 2025 -
math2001 Public
Forked from hrmacbeth/math2001Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
HTML UpdatedFeb 17, 2025 -
formalising-mathematics-2024 Public
Forked from ImperialCollegeLondon/formalising-mathematics-2024Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
Lean Apache License 2.0 UpdatedDec 17, 2024 -
-
pgrx Public
Forked from pgcentralfoundation/pgrxBuild Postgres Extensions with Rust!
Rust Other UpdatedNov 25, 2024 -
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 -
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
{{ message }}