-
Lean Companion to the Category Theory in Context textbook by Emily Riehl
-
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedOct 10, 2025 -
ClassificationOfFiniteSubgroupsOfPGL Public
Forked from AlexBrodbelt/ClassificationOfFiniteSubgroupsOfPGLHTML UpdatedOct 10, 2025 -
analysis Public
Forked from teorth/analysisA Lean companion to Analysis I
-
-
-
FLT Public
Forked from ImperialCollegeLondon/FLTOngoing Lean formalisation of the proof of Fermat's Last Theorem
Lean Apache License 2.0 UpdatedAug 24, 2025 -
-
-
-
-
adapt-comp Public
Reimplentation of the library from "Monads for Incremental Computing" in JS/TS.
-
-
-
material2 Public
Forked from angular/componentsComponent infrastructure and Material Design components for Angular
TypeScript MIT License UpdatedMay 13, 2020 -
Idris-dev Public
Forked from idris-lang/Idris-devA Dependently Typed Functional Programming Language
Haskell Other UpdatedMar 6, 2020 -
-
clutz Public
Forked from angular/clutzClosure to TypeScript `.d.ts` generator
Java MIT License UpdatedNov 4, 2019 -
tsickle Public
Forked from angular/tsickleTsickle — TypeScript to Closure Translator
TypeScript MIT License UpdatedSep 9, 2019 -
TypeScript Public
Forked from microsoft/TypeScriptTypeScript is a superset of JavaScript that compiles to clean JavaScript output.
TypeScript Apache License 2.0 UpdatedSep 5, 2019 -
-
platform Public
Forked from ngrx/platformMonorepo for ngrx codebase
TypeScript MIT License UpdatedOct 3, 2018 -
code_bounds Public
Scripts for computing bounds on error-correcting codes from curves
q UpdatedSep 8, 2018 -
rules_typescript Public
Forked from bazelbuild/rules_typescriptBuild TypeScript code with Bazel
TypeScript Apache License 2.0 UpdatedJun 28, 2018 -
DefinitelyTyped Public
Forked from DefinitelyTyped/DefinitelyTypedThe repository for high quality TypeScript type definitions.
TypeScript Other UpdatedJun 28, 2018 -
tslint Public
Forked from palantir/tslint🚦 An extensible linter for the TypeScript language
TypeScript Apache License 2.0 UpdatedMay 23, 2018 -
pyeval Public
A toy python evaluator on top of app engine
-
-
zone.js Public
Forked from angular/zone.jsImplements Zones for JavaScript
TypeScript MIT License UpdatedOct 12, 2017
{{ message }}