A library that provides Go Generics friendly "optional" features.
-
Updated
Apr 22, 2025 - 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 unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
logic verification proof-assistant type-theory formal-methods logic-programming optional-typing formal-specification transcendental-syntax unification-theory
-
Updated
Jun 23, 2025 - 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
Jan 9, 2022 - 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
Improve this page
Add a description, image, and links to the optional-typing topic page so that developers can more easily learn about it.
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."