Pinned Repositories
dbl
An experimental programming language that combines effect handlers and implicit parameters
AdventOfCode2022
ConversationBot
CooperativeMate
Matrix-calculator
Matrix calculator with type inference and subtyping
OneShotEffects.jl
One shot algebraic effects in Julia
SplineInterpolation
Superfarmer
Travelling-salesman-LP
Travelling salesman problem solved using linear programming in JuMP
Webserver
Simple webserver written in Rust
kwasielewski's Repositories
kwasielewski/AdventOfCode2022
kwasielewski/OneShotEffects.jl
One shot algebraic effects in Julia
kwasielewski/Superfarmer
kwasielewski/ConversationBot
kwasielewski/CooperativeMate
kwasielewski/Matrix-calculator
Matrix calculator with type inference and subtyping
kwasielewski/SplineInterpolation
kwasielewski/Travelling-salesman-LP
Travelling salesman problem solved using linear programming in JuMP
kwasielewski/Webserver
Simple webserver written in Rust
kwasielewski/dbl
An experimental programming language that combines effect handlers and implicit parameters
kwasielewski/Diffusion-models
DDPMs, LDMs & more
kwasielewski/dotfiles
My configs
kwasielewski/HerbGrammar.jl
Grammars for Herb.jl
kwasielewski/julia
The Julia Programming Language
kwasielewski/JuliaSyntax.jl
A Julia frontend, written in Julia
kwasielewski/Let-s-Face-It
kwasielewski/Menhir-synthesizer
Generate programs from your Menhir grammar
kwasielewski/PrettyTypes.jl
Pretty printer designed for function types
kwasielewski/reverSI
Simple reversi implementation in JavaScript
kwasielewski/Synonyms
kwasielewski/todo-list
A TODO list feature for DrRacket, like to Agda's goal list but for any language.
kwasielewski/WithAlexNet