-
mathematics_in_lean Public
Forked from leanprover-community/mathematics_in_leanThe user home repository for the Mathematics in Lean tutorial.
HTML Apache License 2.0 UpdatedAug 23, 2025 -
HOL Public
Forked from HOL-Theorem-Prover/HOLCanonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Standard ML Other UpdatedApr 1, 2025 -
polyml Public
Forked from polyml/polymlPoly/ML
Standard ML GNU Lesser General Public License v2.1 UpdatedMar 28, 2025 -
algorithms-exercises Public
Forked from btholt/algorithms-exercisesAlgorithms using JavaScript
JavaScript UpdatedMay 4, 2024 -
A migration project of the book "Object-oriented Reengineering Patterns"
UpdatedMay 2, 2024 -
pydantic Public
Forked from pydantic/pydanticData validation using Python type hints
Python MIT License UpdatedMay 2, 2024 -
qf-academy-math-lectures Public
Forked from heinzay1999/2020-math-lecturesCourse materials for the quantum formalism series that includes; live lecture slides, curated study materials and other useful resources.
MIT License UpdatedApr 15, 2024 -
fabric Public
Forked from hyperledger/fabricRead-only mirror of https://gerrit.hyperledger.org/r/#/admin/projects/fabric
Go Apache License 2.0 UpdatedMar 26, 2024 -
docs-1 Public
Forked from dotnet/docsThis repository contains .NET Documentation.
-
surrealdb Public
Forked from surrealdb/surrealdbA scalable, distributed, collaborative, document-graph database, for the realtime web
Rust Other UpdatedMar 25, 2024 -
cats Public
Forked from typelevel/catsLightweight, modular, and extensible library for functional programming.
-
lectures Public
Forked from oxford-cs-deepnlp-2017/lecturesOxford Deep NLP 2017 course
UpdatedMar 20, 2024 -
cs228-notes Public
Forked from ermongroup/cs228-notesCourse notes for CS228: Probabilistic Graphical Models.
SCSS MIT License UpdatedMar 20, 2024 -
hugo-xmin Public
Forked from yihui/hugo-xmineXtremely Minimal Hugo theme: about 150 lines of code in total, including HTML and CSS
HTML MIT License UpdatedMar 20, 2024 -
gopl.io Public
Forked from adonovan/gopl.ioExample programs from "The Go Programming Language"
Go UpdatedMar 20, 2024 -
shapeless-guide-code Public
Forked from underscoreio/shapeless-guide-codeExample code to accompany shapeless-guide.
Scala Apache License 2.0 UpdatedMar 20, 2024 -
docs.microsoft.com-nuget Public
Forked from NuGet/docs.microsoft.com-nugetDocumentation repo for NuGet
PowerShell MIT License UpdatedMar 20, 2024 -
bitcoinbook Public
Forked from bitcoinbook/bitcoinbookMastering Bitcoin 2nd Edition - Programming the Open Blockchain
HTML Other UpdatedMar 20, 2024 -
cargo Public
Forked from rust-lang/cargoThe Rust package manager
Rust Apache License 2.0 UpdatedMar 20, 2024 -
understandinges6 Public
Forked from nzakas/understandinges6Content for the ebook "Understanding ECMAScript 6"
UpdatedMar 20, 2024 -
dune Public
Forked from ocaml/duneA composable build system for OCaml
-
martin-lof Public
Forked from michaelt/martin-lofpapers of Per Martin Löf
-
rustwasm-book Public
Forked from rustwasm/bookThe Rust and WebAssembly Book
Handlebars MIT License UpdatedMar 20, 2024 -
rust-by-example Public
Forked from rust-lang/rust-by-exampleLearn Rust with examples (Live code editor included)
Handlebars Apache License 2.0 UpdatedMar 20, 2024 -
ponyo Public
Forked from eatonphil/ponyoLibrary and Toolkit for Standard ML
Standard ML BSD 2-Clause "Simplified" License UpdatedMar 20, 2024 -
GitInPractice Public
Forked from MikeMcQuaid/GitInPractice📖 An opinionated intermediate/advanced Git book
Other UpdatedMar 20, 2024 -
practical-tla-plus-1 Public
Forked from Apress/practical-tla-plusSource Code for 'Practical TLA+' by Hillel Wayne
TLA Other UpdatedMar 20, 2024 -
practical-fm Public
Forked from ligurio/practical-fmA gently curated list of companies using verification formal methods in industry
UpdatedMar 20, 2024 -
zio2Scala3 Public
Forked from pawank/zio2Scala3Scala 3 and ZIO 2 example project with support for Quill (for PostgreSQL connectivity) and OrientDB (Multi-model database with Graph and JSON support) and ZIO logging, metric and ZioHttp.
Scala UpdatedMar 20, 2024 -
high-assurance-rust Public
Forked from tnballo/high-assurance-rustA free book about developing secure and robust systems software.
Rust UpdatedMar 20, 2024
{{ message }}