AlexDikelsky

bqn-modular-arith

Functions for working with modular arithmetic in BQN

puzzles

Solutions for Advent of Code and other puzzles

tapl-idris

Types and Programming languages in Idris2

aads-class-pub

Advanced Algorithms and Data Structures class

AlexDikelsky

Config files for my GitHub profile.

alexdikelsky.github.io

BQN

An APL-like programming language. Self-hosted!

group-theory

jmod

Scheme/J like language with built in modular arithmetic

Map-Projections

Various map projections plotted using the plotters Rust library

combinatory-logic

Implementation of Cominbatory Logic

dex-lang

Research language for array processing in the Haskell/ML family

documentation

Documentation for the Library Route Finder project

dotfiles

My dotfiles

fp-interpreter

Interpreter for FP as defined in Backus's Turing Award Lecture

Frontend

Find and display an optimal route to retrieve books from a library's shelves. Project Frontend

Idris2

A purely functional programming language with first class types

inigo

Inigo: A Package Manager for Idris2

jam0001

lambda-calculus

Implementation of the λ-calculus

lean.nvim

neovim support for the Lean theorem prover

Mapping

The map generation component of the route finding application

math

MetPy

MetPy is a collection of tools in Python for reading, visualizing and performing calculations with weather data.

PlantBQN

programming-notes

Code examples seen from reading books such as Knuth's TeXbook and the AWK programming language

store_project

Luther College Computer Science Senior Project

subtype-inference

Following https://blog.polybdenum.com for subtype inference

supermarket

Java 252 Final project

tmux-prefixes

Analysis of a tmux poll