groscoe Goto Github PK

acoustic-analysis

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)

cardano-transaction-lib

A Purescript library for building smart contract transactions on Cardano

cartola_ml

curriculo

duplicate-master-prs-to-development

Action to duplicate PRs to the master branch to development

earphile

Ear training for audio engineers.

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.

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

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.

nqueens

Evolutionary solution to the N-Queens problem.

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

simple-units

Haskell library for performing arithmetic with SI units with type-checked dimensional analysis

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

talk_javascript_generators

Introdução a estruturas de controle funcionais em javascript (ES6)

tcs

Lecture notes on introduction to theoretical computer science

tp_lab_conversao

tsp-deconvolution-results