daokoder / dao Star 199 Code Issues Pull requests Discussions Dao Programming Language android windows macos linux lightweight ios embeddable scripting-language object-oriented concurrent optional-typing Updated Dec 31, 2023 C
moznion / go-optional Star 171 Code Issues Pull requests A library that provides Go Generics friendly "optional" features. go golang generics optional optional-typing Updated Nov 23, 2024 Go
tern-lang / tern Star 20 Code Issues Pull requests 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
VitorLuizC / maybe Star 19 Code Issues Pull requests 🌯 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
iamsubhranil / Algi Star 4 Code Issues Pull requests An LLVM based JIT compiler for an algorithmic language llvm jit llvm-jit typecheck optional-typing algorithmic-language Updated Apr 14, 2018 C
ruXlab / safe-kotlin-features-showcase Star 1 Code Issues Pull requests 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