Pinned Repositories
ecto-plug-params
Experiment with using Ecto to validate, cast and parse request params into structured commands in controllers
fixed_points_in_natural_language
provex
Provador de teoremas interativo em Elixir
tapl-implementations
Implementations from Benjamin Pierce's "Types and Programming Languages" book
typechecker
A type checker for the simply typed lambda calculus
roehst's Repositories
roehst/provex
Provador de teoremas interativo em Elixir
roehst/ecto-plug-params
Experiment with using Ecto to validate, cast and parse request params into structured commands in controllers
roehst/typechecker
A type checker for the simply typed lambda calculus
roehst/alacritty
A cross-platform, GPU-accelerated terminal emulator
roehst/alunos-acvm
roehst/aoc-2019
Advent of Code from 2019 in varied languages
roehst/aoc-2020
AoC, 2020
roehst/autograd
Autograd studies
roehst/checker
A simple type checker
roehst/commanded
Use Commanded to build Elixir CQRS/ES applications
roehst/commanded_dip
Macros to move execute/apply to command and event modules in Commanded
roehst/commons
Common utilities for data analysis in Python organized around extending Pandas with its Accessor API
roehst/dream
Tidy, feature-complete Web framework
roehst/elixir
Elixir is a dynamic, functional language designed for building scalable and maintainable applications
roehst/elixir-ls
A frontend-independent IDE "smartness" server for Elixir. Implements the "Language Server Protocol" standard and provides debugger support via the "Debug Adapter Protocol"
roehst/excoveralls
Coverage report tool for Elixir with coveralls.io integration.
roehst/expressive
A tool for analyzing and refactoring Elixir code
roehst/factual
A lightweight event sourcing framework in Elixir
roehst/good-code
Good-code - Faça trabalho voluntário sem sair de casa
roehst/gpt_simple_code_reviewer
roehst/honey
Honey front-end framework
roehst/linksource
Link storage
roehst/minisat
A minimalistic and high-performance SAT solver
roehst/paper-cap-table
roehst/practical-python-snippets
Snippets de assuntos do Practical Python
roehst/roehst.github.io
roehst/segment-challenge
Segment Challenge is an Elixir Phoenix web application built using Commanded
roehst/test
roehst/test_js
roehst/thesis-overleaf