lowasser
Follow
-
agda-unimath Public
Forked from UniMath/agda-unimathThe agda-unimath library
Agda MIT License UpdatedOct 7, 2026 -
kotlin-web-site Public
Forked from JetBrains/kotlin-web-siteThe Kotlin programming language website
JavaScript Apache License 2.0 UpdatedAug 3, 2026 -
safere Public
Forked from eaftan/safereA safe linear-time regular expression matching library for Java, based on RE2
Java Other UpdatedJun 21, 2026 -
A textbook on informal homotopy type theory
TeX UpdatedMar 27, 2025 -
-
kotlinpoet Public
Forked from square/kotlinpoetA Kotlin API for generating .kt source files.
Kotlin Apache License 2.0 UpdatedNov 22, 2024 -
rewrite-docs Public
Forked from openrewrite/rewrite-docsStores the markdown documents used to generate docs.openrewrite.org
TypeScript Apache License 2.0 UpdatedOct 24, 2024 -
PixiePerfect Public
Forked from marinebiokitty/PixiePerfectLARP based on TinkerBell Movies
TeX MIT License UpdatedFeb 22, 2024 -
caffeine Public
Forked from ben-manes/caffeineA high performance caching library for Java
Java Apache License 2.0 UpdatedDec 6, 2023 -
kotlinx-lincheck Public
Forked from JetBrains/lincheckFramework for testing concurrent data structures
Kotlin GNU Lesser General Public License v3.0 UpdatedJun 16, 2023 -
-
-
-
-
kotlinx.coroutines Public
Forked from Kotlin/kotlinx.coroutinesLibrary support for Kotlin coroutines
Kotlin Apache License 2.0 UpdatedMay 24, 2022 -
circuitpython Public
Forked from adafruit/circuitpythonCircuitPython - a Python implementation for teaching coding with microcontrollers
C Other UpdatedMar 12, 2022 -
TMFHope Public
Forked from marinebiokitty/TMFHopeTheir Majesty's Fleet Hope; A game of space ships and ghost stories
TeX UpdatedJan 31, 2021 -
protobuf Public
Forked from protocolbuffers/protobufProtocol Buffers - Google's data interchange format
-
elements Public
Forked from aurorabuilder/elementsElements to extend the Aurora Builder
UpdatedMar 7, 2019 -
-
kotlin Public
Forked from JetBrains/kotlinThe Kotlin Programming Language
Kotlin UpdatedApr 10, 2018 -
staged-streams.ocaml Public
Forked from strymonas/staged-streams.ocamlOCaml MIT License UpdatedJul 7, 2017 -
-
-
guava Public
Forked from google/guavaGoogle Core Libraries for Java 6+
Java Apache License 2.0 UpdatedJul 8, 2015 -
containers Public
Forked from haskell/containersAssorted concrete container types
Haskell Other UpdatedMar 11, 2015 -
-
-
-
intervaltree Public
Java implementation of interval trees, using Range from Guava.