Jonah Lawrence's Projects
Program to convert a program encoding based on its Gรถdel number to ๐ฎ Language (S Language) or convert an ๐ฎ Language program to it's program number
Heroku buildpack for Segoe UI font.
Bot for the Hogwarts Ghosts Discord server with features for ticket channels and archiving
PAC-MAN clone written in Jack Language
Jack to Hack Compiler in Ceylon completed for Fundamentals of Programming Languages Course, 2020-2021.
3D-Renderer with Ray Tracing completed for Introduction to Software Engineering Course, Spring 2021
Bot for JCT ESP CompSci Discord Server
Property management system allowing hosts to list their rental homes and customers to search for properties and make requests. Project in WPF, C# .NET Framework for the 2019-2020 school year.
Code for a Chrome extension that tests kanji knowledge. Fork of datamimi's kanjitab with lots of extra features!
โจ Importable dictionary for typing math symbols more easily on your Android phone by using keyboard shortcuts inspired by LaTeX
Userscript for converting LaTeX commands for math symbols to their unicode equivalents (ex. \pi โ ฯ)
Discord bot for mathematics. A fork of MathBot but with step-by-step solutions.
Minimalistic, flat art, and colorful, digital nature wallpapers and an API for randomly selecting them
Simple API for storing and retrieving labeled data (grouped key-value pairs)
Module for creating match links on Lichess that players can join
Browser extension for opening Google Tasks in a popup window
Discord bot for r/Arithmancy - A reddit feed bot and more!
GitHub Action workflow configuration for keeping a direct download link to the latest version on your repo's readme
โก Dynamically generated, customizable SVG that gives the appearance of typing and deleting text for use on your profile page, repositories, or website.
Responsive Card with HTML and CSS + YouTube tutorial
Reddit bot for fetching image sources
SVG icons for popular brands
Simple view counter for websites and Github READMEs.
An intuitive and type-safe Python library for converting lists to fancy ASCII tables for displaying in the terminal or code-blocks
Reddit bot to tag long lists of users
Tic-Tac-Toe in Javascript
Albert launcher extension for converting between timezones
Example Discord bot for YouTube tutorials
Creates a link next to edited and deleted Reddit comments to show the original from before it was edited. The unedited comment gets displayed inline.
Convert portions of text to fancy text using unicode fonts for use on Twitter and other sites that don't support rich text
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent