-
abseil.github.io Public
Forked from abseil/abseil.github.ioAbseil documentation abseil.io
HTML Apache License 2.0 UpdatedDec 19, 2025 -
ground-android Public
Forked from google/ground-androidGround mobile data collection app for Android
Kotlin Apache License 2.0 UpdatedSep 10, 2025 -
error-prone Public
Forked from google/error-proneCatch common Java mistakes as compile-time errors
Java Apache License 2.0 UpdatedOct 30, 2024 -
-
-
kotlin-web-site Public
Forked from JetBrains/kotlin-web-siteThe Kotlin programming language website
JavaScript Apache License 2.0 UpdatedJan 19, 2024 -
jspecify Public
Forked from jspecify/jspecifyAn artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
Java Apache License 2.0 UpdatedAug 22, 2023 -
dagger Public
Forked from google/daggerA fast dependency injector for Android and Java.
Java Apache License 2.0 UpdatedJun 29, 2023 -
flogger Public
Forked from google/floggerA Fluent Logging API for Java
Java Apache License 2.0 UpdatedJun 29, 2023 -
truth Public
Forked from google/truthFluent assertions for Java and Android
Java Apache License 2.0 UpdatedJun 28, 2023 -
libDaisy Public
Forked from electro-smith/libDaisyHardware Library for the Daisy Audio Platform
C MIT License UpdatedApr 29, 2023 -
todoist Public
Forked from sachaos/todoistTodoist CLI Client. I ❤️ Todoist and CLI.
Go MIT License UpdatedFeb 20, 2023 -
Carp Public
Forked from carp-lang/CarpA statically typed lisp, without a GC, for real-time applications.
Haskell Apache License 2.0 UpdatedJan 31, 2023 -
austral Public
Forked from austral/australSystems language with linear types and capability-based security.
OCaml GNU General Public License v3.0 UpdatedDec 13, 2022 -
austral.github.io Public
Forked from austral/austral.github.ioThe website for the Austral programming language.
HTML UpdatedDec 12, 2022 -
DreamBerd Public
Forked from TodePond/GulfOfMexicoperfect programming language
-
Idris-dev Public
Forked from idris-lang/Idris-devA Dependently Typed Functional Programming Language
Haskell Other UpdatedOct 10, 2022 -
ferret Public
Forked from nakkaya/ferretFerret is a free software lisp implementation for real time embedded control systems.
Makefile BSD 2-Clause "Simplified" License UpdatedAug 31, 2022 -
tokay-docs Public
Forked from tokay-lang/tokay-docsDocumentation for the Tokay programming language
MIT License UpdatedMay 13, 2022 -
file Public
Forked from carpentry-org/fileA simple file abstraction for Carp
-
kotlin-spec Public
Forked from Kotlin/kotlin-specKotlin Language Specification:
Kotlin Apache License 2.0 UpdatedApr 5, 2022 -
kotlinx.coroutines Public
Forked from Kotlin/kotlinx.coroutinesLibrary support for Kotlin coroutines
Kotlin Apache License 2.0 UpdatedMar 30, 2022 -
-
rune Public
Forked from google/runeRune is a programming language developed to test ideas for improving security and efficiency.
C Apache License 2.0 UpdatedDec 6, 2021 -
-
-
-
grimoire Public
A companion for casting (n)curses (in the Carp programming language)
3 UpdatedAug 30, 2021 -
typeclass Public
Typeclasses for the Carp programing language.
-
laws Public
Algebraic laws for Carp interfaces, a la carte.
{{ message }}