Pinned Repositories
aads-class-pub
Advanced Algorithms and Data Structures class
AlexDikelsky
Config files for my GitHub profile.
alexdikelsky.github.io
bccalc.vim
Use bc from inside vim
bqn-modular-arith
Functions for working with modular arithmetic in BQN
group-theory
jmod
Scheme/J like language with built in modular arithmetic
Map-Projections
Various map projections plotted using the plotters Rust library
puzzles
Solutions for Advent of Code and other puzzles
tapl-idris
Types and Programming languages in Idris2
AlexDikelsky's Repositories
AlexDikelsky/bqn-modular-arith
Functions for working with modular arithmetic in BQN
AlexDikelsky/puzzles
Solutions for Advent of Code and other puzzles
AlexDikelsky/tapl-idris
Types and Programming languages in Idris2
AlexDikelsky/aads-class-pub
Advanced Algorithms and Data Structures class
AlexDikelsky/AlexDikelsky
Config files for my GitHub profile.
AlexDikelsky/alexdikelsky.github.io
AlexDikelsky/BQN
An APL-like programming language. Self-hosted!
AlexDikelsky/group-theory
AlexDikelsky/jmod
Scheme/J like language with built in modular arithmetic
AlexDikelsky/Map-Projections
Various map projections plotted using the plotters Rust library
AlexDikelsky/combinatory-logic
Implementation of Cominbatory Logic
AlexDikelsky/dex-lang
Research language for array processing in the Haskell/ML family
AlexDikelsky/documentation
Documentation for the Library Route Finder project
AlexDikelsky/dotfiles
My dotfiles
AlexDikelsky/fp-interpreter
Interpreter for FP as defined in Backus's Turing Award Lecture
AlexDikelsky/Frontend
Find and display an optimal route to retrieve books from a library's shelves. Project Frontend
AlexDikelsky/Idris2
A purely functional programming language with first class types
AlexDikelsky/inigo
Inigo: A Package Manager for Idris2
AlexDikelsky/jam0001
AlexDikelsky/lambda-calculus
Implementation of the λ-calculus
AlexDikelsky/lean.nvim
neovim support for the Lean theorem prover
AlexDikelsky/Mapping
The map generation component of the route finding application
AlexDikelsky/math
AlexDikelsky/MetPy
MetPy is a collection of tools in Python for reading, visualizing and performing calculations with weather data.
AlexDikelsky/PlantBQN
AlexDikelsky/programming-notes
Code examples seen from reading books such as Knuth's TeXbook and the AWK programming language
AlexDikelsky/store_project
Luther College Computer Science Senior Project
AlexDikelsky/subtype-inference
Following https://blog.polybdenum.com for subtype inference
AlexDikelsky/supermarket
Java 252 Final project
AlexDikelsky/tmux-prefixes
Analysis of a tmux poll