Student
🅰️ single character search, select, and jump
Kotlin - Released: 07 Aug 2012 - 1,194
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
Kotlin - Released: 19 Oct 2018 - 519
🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
Kotlin - Released: 05 Mar 2020 - 101
🦠 AD in less than 20 lines
Python - Released: 05 Feb 2021 - 34
👨🚀 A type-safe URI builder in Kotlin
Kotlin - Released: 29 Jul 2018 - 19
🔍 Code Search Tools & Experiments
Kotlin - Released: 23 Feb 2021 - 9
Demonstrating the value of types.
Kotlin - Released: 05 Sep 2019 - 4