A library that provides Go Generics friendly "optional" features.
-
Updated
Aug 31, 2026 - Go
#
optional-typing
Here are 7 public repositories matching this topic...
Dao Programming Language
android windows macos linux lightweight ios embeddable scripting-language object-oriented concurrent optional-typing
-
Updated
Dec 31, 2023 - C
An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
logic verification proof-assistant type-theory formal-methods logic-programming optional-typing formal-specification transcendental-syntax unification-theory
-
Updated
Aug 7, 2026 - OCaml
Tern Programming Language
android programming-language functional interpreter coroutines generic-programming object-oriented asynchronous-programming async-await recursive-descent-parser optional-typing
-
Updated
Sep 30, 2023 - Java
🌯 The prettiest TypeScript implementation of Maybe monad.
typescript functional functional-programming fp ava type-safe optional maybe type-safety optional-typing bili maybe-monad optional-type maybe-type
-
Updated
Jul 7, 2025 - TypeScript
An LLVM based JIT compiler for an algorithmic language
-
Updated
Apr 14, 2018 - C
Kotlin safe features which don't exist in java - code snippets for #kotlin london meetup & GDG Spb
-
Updated
Oct 2, 2017 - Java
Add this topic to your repo
To associate your repository with the optional-typing topic, visit your repo's landing page and select "manage topics."