GRoscoe's repositories
talk_javascript_generators
Introdução a estruturas de controle funcionais em javascript (ES6)
aoc-2023-lean4
Learning Lean 4 by solving Advent of Code 2023 challenges
bovespa_tools
Python tools for reading, manipulating and interpreting historical data from São Paulo's Stock Exchange (BOVESPA)
duplicate-master-prs-to-development
Action to duplicate PRs to the master branch to development
friedman-wand-letrec-language
A Haskell implementation of the LETREC language specification from the book Essentials of Programming Languages, 3rd edition, by Friedman and Wand.
friedman-wand-proc-language
A Haskell implementation of the PROC language specification from the book Essentials of Programming Languages, 3rd edition, by Friedman and Wand.
haskell-advent-of-code-2021
Haskell solutions for Advent of Code 2021
simple-units
Haskell library for performing arithmetic with SI units with type-checked dimensional analysis
cardano-transaction-lib
A Purescript library for building smart contract transactions on Cardano
evolutionary
A small Haskell library for building genetic and evolutionary algorithms.
friedman-wand-let-language
A Haskell implementation of the LET language specification from the book "Essentials of Programming Languages", 3rd edition, by Friedman and Wand.
haskell-gnucash
A Haskell library for manipulating GnuCash files
home-manager-config
Dotfiles and home-manager configuration
Idris-dev
A Dependently Typed Functional Programming Language
invidious-redirect
A (very) small WebExtension to redirect YouTube links to Invidious.
octokit.net
A GitHub API client library for .NET
pdfbeads
PDFbeads updated to run with Ruby 2.0
project-euler-python
Solutions to Project Euler problems using python.
pynads
Dumb implementation of monads in Python.
PythonHeadlessChrome
Temp repo for headless chrome download
spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
tcs
Lecture notes on introduction to theoretical computer science