breandan

kotlingrad

🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

galoisenne

🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin

picograd

🦠 AD in less than 20 lines

yuri

👨‍🚀 A type-safe URI builder in Kotlin

markovian

🎲 A Kotlin DSL for probabilistic programming.

cstk

🔍 Code Search Tools & Experiments

breandan

Research files and meetings.

breandan.github.io

✍️ A place to store my ideas.

crypto-koans

🔏 How to share a secret message: crypto katas for kids

astminer

A library for mining of path-based representations of code (and more)

BayesOWL

Imported from UMBC website.

seai-client-template

Client Template for SEAI Project (COMP 598, Fall 2020)

tidyparse

🧹 Error correcting parser plugin

CodeXGLUE

CodeXGLUE

compose-jb

Jetpack Compose for Desktop and Web, a modern UI framework for Kotlin that makes building performant and beautiful user interfaces easy and enjoyable.

github-api

Java API for GitHub

HVM

A massively parallel, optimal functional runtime in Rust

kmath

Kotlin mathematics extensions library

kotlin-web-site

The Kotlin Programming Language Website

kotlingrad-consumer

kotlinSat

Sat Solver in Kotlin

ml4code-mtl.github.io

Hosting the website for ML4Code-Mtl.

ott

pytrograd

rethinkingmlpapers.github.io

Repo to hold code for the workshop webpage

rewrite-recipe-starter

A forkable starter for building your own recipes and deploying them on the Moderne SaaS

RL-FlappyBird

Using reinforcement learning to train FlappyBird.

tree-sitter

An incremental parsing system for programming tools

verik

Verik toolchain

verik-examples

Example Verik projects