- Barcelona,Spain
- http://www.linkedin.com/in/yeradis
Highlights
- All languages
- ActionScript
- Agda
- ApacheConf
- C
- C#
- C++
- COBOL
- CSS
- Clojure
- Coq
- Cuda
- Dart
- Dockerfile
- EJS
- Elixir
- Erlang
- F#
- GDScript
- Gleam
- Go
- Groovy
- HCL
- HTML
- Haskell
- Haxe
- Idris
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MDX
- Makefile
- Markdown
- Nix
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Pascal
- Perl
- PlantUML
- PostScript
- Python
- R
- Reason
- Rich Text Format
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- ShaderLab
- Shell
- Smali
- Starlark
- Svelte
- Swift
- TLA
- TeX
- TypeScript
- V
- Vim Script
- Visual Basic 6.0
- XSLT
- Zig
Starred repositories
Dockerfile linter, validate inline bash, written in Haskell
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)
Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com
Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
👩🏫 👨🏫 Learn Haskell basics in 4 pull requests
🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects
A little course to learn about some of the more obscure GHC extensions.
A native compiler backend for PureScript (via C++ or Golang)
Code and materials for my book "Functional Design and Architecture"
📖 source material for Thinking with Types
Domain-Specific Languages of Mathematics
New home of Esqueleto, please file issues so we can get things caught up!
⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
Examples to accompany the book "Haskell in Depth"
Haskell binding to Apple's SpriteKit framework
Code and materials for my book "Pragmatic Type Level Design"
Write "Concurrency" section of "A Tour of Go" in Haskell
Trying to write an understandable implementation of Haskell, in Haskell
An iPad app that's a Lisp interpretter... written in Haskell (heh heh heh)
Automatic white-box testing with Free monads: approach description and showcase
Let's program! Get into programming writing a simple game.