https://github.com/alt-romes/alt-romes

https://github.com/alt-romes/alt-romes

Last synced: 6 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/alt-romes/alt-romes
• Owner: alt-romes
• Created: 2023-01-01T18:56:25.000Z (about 2 years ago)
• Default Branch: main
• Last Pushed: 2024-12-23T12:28:59.000Z (11 days ago)
• Last Synced: 2024-12-23T13:31:47.519Z (11 days ago)
• Size: 17.6 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
### 🧙‍♂️ Most recent project

[**Kanjideck**: Learn Japanese Kanji. No silly mnemonics.](https://www.kanjideck.com)

> Kanjideck is a no-shortcuts deck for learning Japanese Kanji with the super-power of spaced repetition to study smarter, not harder.

I've finished the design and have test-printed copies that I am very happy with.

The next step is launching a kickstarter campaign to cover the manufacturing costs, and get the word out there!

### 🌱 Things I've spent a lot of hours in

* [ghengin](https://github.com/alt-romes/ghengin): WIP: Haskell Game Engine

* [hegg](https://github.com/alt-romes/hegg): Fast equality saturation in Haskell

* [linear-core](https://github.com/alt-romes/linear-core): My master thesis on typechecking linearity in GHC Core, by understanding semantic linearity in the presence of call-by-need evaluation

* [ghc-linear-synthesis-plugin](https://github.com/alt-romes/ghc-linear-synthesis-plugin): A GHC plugin for synthesizing Haskell programs from Linear Types using bottom-up proof search in linear logic with focusing

* [programmer-calculator](https://github.com/alt-romes/programmer-calculator) Terminal calculator made for programmers working with multiple number representations, sizes, and overall close to the bits

* [gameboyemulator](https://github.com/alt-romes/gameboyemulator): A gameboy emulator from scratch

* [chip8-emulator-for-gameboy](https://github.com/alt-romes/chip8-emulator-for-gameboy):  A chip8 emulator made in gameboy assembly for the gameboy 

* [operating-system](https://github.com/alt-romes/operating-system): An operating system from scratch

* [c-compiler](https://github.com/alt-romes/c-compiler): A C to LLVM compiler in C

* [.vim](https://github.com/alt-romes/.vim): minimalist and modern vim configuration with sane settings, handwritten statusline and tabline, small custom plugins, and few external plugins

* [cob-hs](https://github.com/alt-romes/cob-hs): A haskell library for CoB

* [haskell-swift](https://github.com/alt-romes/haskell-swift): Haskell x Swift interoperability libraries and tools 

### ⚡ And some of my smaller projects

* [reference-counting](https://github.com/alt-romes/reference-counting): Reference counting with linear types 

* [haskell-x-swift-project-steps](https://github.com/alt-romes/haskell-x-swift-project-steps): A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog posts

* [mermaid-hs](https://github.com/alt-romes/mermaid-hs): A Haskell library for parsing mermaid diagrams

* [ghc-obsidian](https://github.com/alt-romes/ghc-obsidian-generator): Generate an Obsidian Vault from the Notes in GHC Haskell

* [shuffdle.com](https://www.shuffdle.com): Slide the daily shuffdle word into the bottom row or: Caesar's 20-puzzle