Projects in Awesome Lists by dragonwasrobot
A curated list of projects in awesome lists by dragonwasrobot .
https://github.com/dragonwasrobot/learn-prolog-now-exercises
My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
Last synced: 17 Mar 2025
https://github.com/dragonwasrobot/json-schema-to-elm
Generates Elm types, JSON decoders, JSON encoders and fuzz tests from JSON schema specifications
code-generator elixir elixir-lang elm elm-lang json json-decoder json-encoder json-schema parser-generator
Last synced: 13 Apr 2025
https://github.com/dragonwasrobot/i18n-to-elm
Generates Elm types and functions from i18n key/value JSON files
code-generator elixir elixir-lang elm elm-lang i18n json json-parser
Last synced: 10 Apr 2025
https://github.com/dragonwasrobot/json_schema
A library for parsing, inspecting and manipulating JSON Schema documents
elixir elixir-lang elixir-library json json-schema parser
Last synced: 09 Apr 2025
https://github.com/dragonwasrobot/brainfuck
A brainfuck interpreter written in Elm
brainfuck elm elm-lang interpreter
Last synced: 09 Apr 2025
https://github.com/dragonwasrobot/simpl-lang
A simple language created in Coq, batteries and correctness proofs included.
Last synced: 09 Apr 2025
https://github.com/dragonwasrobot/helm-bitbucket
A helm interface for searching Bitbucket
Last synced: 09 Apr 2025
https://github.com/dragonwasrobot/yasnippets-coq
Coq snippets for the Yasnippet emacs mode.
Last synced: 17 Mar 2025
https://github.com/dragonwasrobot/ex_rerun
Rerun custom mix tasks on code modification
Last synced: 09 Apr 2025
https://github.com/dragonwasrobot/sicp-exercises
This is a collection of solutions to the exercises found in 'Structure and Interpretation of Computer Programs' by Harold Abelson, Gerald Jay Sussman and Julie Sussman.
Last synced: 17 Mar 2025
https://github.com/dragonwasrobot/adventof-code_2022
25 days, 25 puzzles, 25 languages, surely I will regret this decision
Last synced: 17 Mar 2025
https://github.com/dragonwasrobot/ex_lambda_calculus
An experiment in extracting the lambda calculus from Elixir
elixir-lang experimental lambda-calculus proof-of-concept
Last synced: 17 Mar 2025
https://github.com/dragonwasrobot/formal-moessner
A formal study of Moessner's sieve
Last synced: 17 Mar 2025
https://github.com/dragonwasrobot/99-problems
I got 99 problems but a Lisp ain't one
Last synced: 17 Mar 2025
https://github.com/dragonwasrobot/get-shit-done
Script for reducing distractions and improving focus
Last synced: 17 Mar 2025
https://github.com/dragonwasrobot/ex_rewrite_term
An elixir term rewriter
elixir-lang experimental proof-of-concept term-rewriting
Last synced: 17 Mar 2025
https://github.com/dragonwasrobot/b.el
A byte manipulation library
byte-parser bytes emacs library parsing
Last synced: 17 Mar 2025