Imran Malic Settuba's repositories
arrow-docset
A Dash-docset for Λrrow
arend-exercises
Learning repository for arend-lang
spring-webflux-arrow-example
A microservice example with Spring Webflux + Arrow in Kotlin
antlr-kotlin
Support for Kotlin as a target for ANTLR
Arrow-Endpoint
Arrow Endpoint offers a composable Endpoint datatype, that allows us easily define an Endpoint from which we can derive clients, servers & documentation.
Category-Theory-for-Programmers.kt
Kotlin sample code for Bartosz Milewski's CT for Programmers
fp-foundation
Foundation of functional programming course
intellij-arend
Arend plugin for IntelliJ IDEA
intellij-community
IntelliJ IDEA Community Edition
intellij-haskell
IntelliJ plugin for Haskell
julia2ndLang
Manning Julia as a Second Language Book notes and code 2023
kotlin-kafka
Kafka bindings for Kotlin `suspend`, and Kafka streaming operators for KotlinX Flow.
kotlinx-io
Kotlin multiplatform I/O library
kotlinx.serialization
Kotlin multiplatform / multi-format serialization
mpp-serialisation
Reproduction of kotlinx-serialization issue
PropCheck.jl
A package for simple property based testing in julia.
rapidcheck
QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.
StochasticDiffEq.jl
Solvers for stochastic differential equations which connect with the scientific machine learning (SciML) ecosystem