- 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
Parsing, analyzing, and comparing source code across many languages
๐ฅ 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