Pinned Repositories
allen
An implementation of Allen's Interval Algebra in Haskell
allen-grammar
A repository for interpreting temporal relations between events in sentences
cloak
An Invisibility Cloak for Files
CStar
C* Programming Language
CyberKnox-Challenges
Challenges for CyberKnox
HaskellStudy
A Haskell alternative to using Quizlet to study vocabulary words.
Hexer
C++ CLI Hex Editor
Horcrux
Protect your files by splitting their souls
purity
A Purely Functional Terminal Shell (Haskshell 2.0)
TypeChain
Proof of Concept Implementation of Langchain in Haskell
Archaversine's Repositories
Archaversine/TypeChain
Proof of Concept Implementation of Langchain in Haskell
Archaversine/allen
An implementation of Allen's Interval Algebra in Haskell
Archaversine/CyberKnox-Challenges
Challenges for CyberKnox
Archaversine/allen-grammar
A repository for interpreting temporal relations between events in sentences
Archaversine/cloak
An Invisibility Cloak for Files
Archaversine/P5Idr
p5.js Bindings for Idris using JS Backend (WIP)
Archaversine/Adamantium
My Fork of Iosevka
Archaversine/Haskshell
A Haskell Powered Terminal
Archaversine/purity
A Purely Functional Terminal Shell (Haskshell 2.0)
Archaversine/Amogus
A cross-platform ergonomic DSL (Domain Specific Language) written in Haskell that utilizes Allen's Interval Algebra to find logical inconsistencies in people's alibis.
Archaversine/aoc-haskell-2024
Haskell - Advent of Code - 2024
Archaversine/Archaversine
Archaversine/blackjack-counter
A Counter for the Roblox game 21
Archaversine/effects-error
Archaversine/friday-idris
Prototype embedded systems programming language with refinement types.
Archaversine/idris2-allen
An implementation of Allen's interval algebra in Idris
Archaversine/iridium
Brainf*** for functional programmers.
Archaversine/java-design-problems
All Design problems from class
Archaversine/java-hw-design-exercises-1
Design Problems for Homework
Archaversine/LmaoMod
Random Minecraft Mod
Archaversine/megastar
An interpreter for C* written in Haskell using Megaparsec
Archaversine/minesweeper2
Cool game I made
Archaversine/QIdris
A Quantum Compuer Simulator in Idris
Archaversine/serialport
Cross platform haskell library for using the serial port (original is broken and unmaintained)
Archaversine/snake
A cross platform 2D n-body physics engine.
Archaversine/solarized.nvim
Changed colors
Archaversine/TestyMcTestface
Build instructions
Archaversine/turasm
Minecraft Turtle Assembly Language
Archaversine/u-lang
Attempt to make a universal programming language
Archaversine/WebDev-idris-template
A template showcasing Idris's ability to act as a frontend component for a website.