Pinned Repositories
flix
The Flix Programming Language
adiar
An I/O-efficient implementation of Binary Decision Diagrams (BDDs).
anbclausen-preambles
My custom LaTeX preambles for you to use!
au-syssec-e21-exercises
dad5-bot
A discord bot made for and by Dat5 to have fun and experiment with
dissy-e22-handins
dm2024-exercises
flix-develop
Private repository for developing Flix. Code here is handled separately from the main repository.
flix-parsers
A simple parser combinator library for Flix
flix-queens
Queens problem implemented in Flix
jaschdoc's Repositories
jaschdoc/flix-parsers
A simple parser combinator library for Flix
jaschdoc/flix-queens
Queens problem implemented in Flix
jaschdoc/flix-develop
Private repository for developing Flix. Code here is handled separately from the main repository.
jaschdoc/adiar
An I/O-efficient implementation of Binary Decision Diagrams (BDDs).
jaschdoc/anbclausen-preambles
My custom LaTeX preambles for you to use!
jaschdoc/au-syssec-e21-exercises
jaschdoc/dad5-bot
A discord bot made for and by Dat5 to have fun and experiment with
jaschdoc/dissy-e22-handins
jaschdoc/dm2024-exercises
jaschdoc/flix
The Flix Programming Language
jaschdoc/flix-book
The Flix Programming Book
jaschdoc/flix-dev
a collection of scripts used for Flix development
jaschdoc/flix-highlight.js
jaschdoc/flix.dev
jaschdoc/futhark
:boom::computer::boom: A data-parallel functional programming language
jaschdoc/jaschdoc
jaschdoc/libsodium
A modern, portable, easy to use crypto library.
jaschdoc/merrymake-rust-service-library
jaschdoc/ML22
jaschdoc/play.flix.dev
The Flix Playground (play.flix.dev)
jaschdoc/sonic-pi
Code. Music. Live.
jaschdoc/vscode-flix
jaschdoc/ZKBoo