Stefan Wullems's repositories
itcoachingdotdev
Website for my coaching business itcoaching.dev
json-combinators
A combinator approach to encoding and decoding JSON. Inspired by https://package.elm-lang.org/packages/elm/json
risk
Hobby repo that implements the core rules of the board game: Risk
ttfp-implementations
Implementations following "Type Theory and Formal Proof: An Introduction".
typesafe-get
Leave while you still can
ai-cli
CLI for talking to the ai things
aoc-2022-elixir
Tryin out some 'lixir
DefinitelyTyped
The repository for high quality TypeScript type definitions.
elm-limiter
Throttling and debouncing for messages and values.
elm-review
Analyzes Elm projects, to help find mistakes before your users find them.
eslint-plugin-react
React specific linting rules for ESLint
Idris2
A purely functional programming language with first class types
idris2-lsp
Language Server for Idris2
json
Work with JSON in Elm
language-server-protocol
Defines a common protocol for language servers.
music-inspiration
Some tools that help with inspiration for making music
rxcode
reactive-editor
sv-random-encounter
Don't remember man
tailwindcss-intellisense
Intelligent Tailwind CSS tooling for Visual Studio Code