A library that provides Go Generics friendly "optional" features.

go golang generics optional optional-typing

• Updated Nov 5, 2026
• Go

Dao Programming Language

android windows macos linux lightweight ios embeddable scripting-language object-oriented concurrent optional-typing

• Updated Dec 31, 2023
• C

A new logic programming language.

programming-language prolog scripting-language temporal-logic logic-programming type-checking cosmos prototypes multi-paradigm-programming object-oriented-programming high-level optional-typing multi-paradigm constraint-logic-programming composite-types mode-inference llm functional-logic-programming vibe-coded clpr

• Updated Nov 9, 2026
• Prolog

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

llvm jit llvm-jit typecheck optional-typing algorithmic-language

• Updated Apr 14, 2018
• C

Kotlin safe features which don't exist in java - code snippets for #kotlin london meetup & GDG Spb

kotlin java collections safety optional-typing

• Updated Oct 2, 2017
• Java