Pinned Repositories
aiplans.github.io
Advances in Programming Languages and Neurosymbolic Systems Workshop
cstk
🔍 Code Search Tools & Experiments
galoisenne
🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
kotlingrad
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
markovian
🎲 A Kotlin DSL for probabilistic programming.
picograd
🦠 AD in less than 20 lines
yuri
👨🚀 A type-safe URI builder in Kotlin
compcalc.github.io
🧮 Reading group about differential, integral and logical calculi.
idiolect
🎙️ Handsfree Audio Development Interface
tidyparse
✂️ Syntax correction in context-free and weakly context-sensitive languages.
breandan's Repositories
breandan/gym-pc
🐚 Teach a computer to use a computer like a human uses a computer.
breandan/abap_knbody
a simple kotlin program that simulates the collision that formed the moon
breandan/corda
Corda is an open source blockchain project, designed for business from the start. Only Corda allows you to build interoperable blockchain networks that transact in strict privacy. Corda's smart contract technology allows businesses to transact directly, with value.
breandan/dt-ros-kinetic-base
Base Docker image for ROS Kinetic
breandan/duckietown-rc
breandan/hands-on
breandan/javacpp-presets
The missing Java distribution of native C++ libraries
breandan/kotlin-js-demo-1.3.50
Kotlin/JS with dukat and Type Script
breandan/lets-plot-test
breandan/math-bootcamp.github.io
Main Blog Repository for the Math Bootcamp
breandan/oplss19
Student lecture notes for "Empowering Spreadsheet Users with Probabilistic Programming" by ADG
breandan/pantograph
📐 Introspection and reconstruction of Python dataflow with metaprogramming.
breandan/swift
The Swift Programming Language
breandan/bifurcan
functional, durable data structures
breandan/big-math
Advanced Java BigDecimal math functions (pow, sqrt, log, sin, ...) using arbitrary precision.
breandan/dk.brics.automaton
dk.brics.automaton - finite-state automata and regular expressions for Java
breandan/hamiltonian-nn
Code for our paper "Hamiltonian Neural Networks"
breandan/ideograph
Donate your keystrokes to science.
breandan/intellij-sdk-docs
IntelliJ Platform SDK Documentation
breandan/kotlin-big-math
Kotlin library for BigDecimal math functions (pow, sqrt, log, sin, ...) using arbitrary precision.
breandan/kotlintest
Powerful, elegant and flexible Kotlin test framework
breandan/lagrangian_nns
Lagrangian Neural Networks
breandan/mcgill-thesis-template
breandan/montrealrobotics.github.io
a template for research group sites
breandan/roll-library
Regular Omega Language Learning Library
breandan/rpi-duckiebot-rosbridge-websocket
Dockerfile that deploys the WebSocket bridge from the RosBridge Suite (http://wiki.ros.org/rosbridge_suite)
breandan/swot
Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.
breandan/tensor
tensor
breandan/theia
Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
breandan/zhusuan
A Library for Bayesian Deep Learning, Generative Models, Based on Tensorflow