- Montrรฉal, Quรฉbec, Canada
- https://brea.ndan.co
- https://orcid.org/0000-0002-0174-4322
- @breandan
Highlights
Block or Report
Block or report breandan
Contact GitHub support about this userโs behavior. Learn more about reporting abuse.
Report abuse-
-
galoisenne Public
๐ธ๏ธ Graphs, finite fields and discrete dynamical systems in Kotlin
-
kotlingrad Public
๐งฉ Shape-Safe Symbolic Differentiation with Algebraic Data Types
-
breandan.github.io Public
โ๏ธ A place to store my ideas.
-
-
cubit Public
Rescued from https://web.archive.org/web/20150918204917/https://www.cis.upenn.edu/~lhuang3/cubit/cubit-v0.8.tgz
Python UpdatedMay 15, 2024 -
BIFI Public
Forked from michiyasunaga/BIFI[ICML 2021] Break-It-Fix-It: Unsupervised Learning for Program Repair
Python MIT License UpdatedMar 29, 2024 -
seq2parse Public
Forked from gsakkas/seq2parseSeq2Parse: Error Correcting Parsing using a Transformer Classifier
TeX UpdatedDec 8, 2023 -
enumerateCFG Public
Forked from piantado/enumerateCFGCode for enumeration from a CFG
Python UpdatedOct 4, 2023 -
-
theinsideview.github.io Public
Forked from theinsideview/theinsideview.github.ioHTML MIT License UpdatedMay 4, 2023 -
-
-
-
kgifencoder Public
Raw translation of https://github.com/square/gifencoder for Kotlin Multiplatform
Kotlin UpdatedSep 17, 2022 -
crypto-koans Public
๐ How to share a secret message: crypto katas for kids
-
intellij-rainbow-brackets Public
Forked from izhangzhihao/intellij-rainbow-brackets๐Rainbow Brackets for IntelliJ based IDEs/Android Studio/HUAWEI DevEco Studio
Kotlin Apache License 2.0 UpdatedAug 14, 2022 -
-
yuri Public
๐จโ๐ A type-safe URI builder in Kotlin
-
-
pi-forall Public
Forked from sweirich/pi-forallA demo implementation of a simple dependently-typed language
Haskell UpdatedJun 29, 2022 -
markovian Public archive
๐ฒ A Kotlin DSL for probabilistic programming.
-
verik Public
Forked from frwang96/verikVerik toolchain
Kotlin Apache License 2.0 UpdatedJan 4, 2022 -
verik-examples Public
Forked from frwang96/verik-examplesExample Verik projects
Kotlin Apache License 2.0 UpdatedJan 2, 2022 -
kmath Public
Forked from SciProgCentre/kmathKotlin mathematics extensions library
Kotlin UpdatedDec 25, 2021 -
-
compose-jb Public
Forked from JetBrains/compose-multiplatformJetpack Compose for Desktop and Web, a modern UI framework for Kotlin that makes building performant and beautiful user interfaces easy and enjoyable.
Kotlin Apache License 2.0 UpdatedNov 5, 2021 -
seai-client-template Public template
Client Template for SEAI Project (COMP 598, Fall 2020)
-
kotlin-web-site Public
Forked from JetBrains/kotlin-web-siteThe Kotlin Programming Language Website
JavaScript Apache License 2.0 UpdatedSep 4, 2021 -
eusolver Public
Forked from yuntongzhang/eusolverFork of the original eusolver.
Slash UpdatedSep 1, 2021