- 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 abuseLanguage: Haskell
Sort by: Most stars
Starred repositories
ShellCheck, a static analysis tool for shell scripts
Parsing, analyzing, and comparing source code across many languages
Agda is a dependently typed programming language / interactive theorem prover.
💥💻💥 A data-parallel functional programming language
Research language for array processing in the Haskell/ML family
Misc. publications, conference slides, etc. For more, go to https://BartoszMilewski.com
A statically typed concatenative systems programming language.
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Embedded language for high-performance array computations
A stream-based runtime-verification framework for generating hard real-time C code.
Minimal implementations for dependent type checking and elaboration
A demo implementation of a simple dependently-typed language
FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including har…
Domain-Specific Languages of Mathematics
PICARD - Parsing Incrementally for Constrained Auto-Regressive Decoding from Language Models. PICARD is a ServiceNow Research project that was started at Element AI.
Relational programming in Haskell. Mostly developed on twitch.
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.