Beast code in Giters

Fady Adal's repositories

gameoflife

conway's game of life in rust

Language:Rust1 10

haskell-days

Language:Haskell1 10

orestale

oresteia meets undertale

Language:Yacc1 10

putshebang

A small tool that helps in adding the appropriate shebang

Language:PythonNOASSERTION101

SQIR

A Small Quantum Intermediate Representation

Language:CoqMIT100

thestemgazette

The source code and content of the new STEM Gazette

Language:JavaScriptGPL-3.01 10

automaton

Language:Rust010

examer

A GUI for creating exams and testing them on students

Language:Python010

fadyadal.me

Language:JavaScriptMIT010

putshebang_rs

putshebang, but in rust

Language:Rust010

tt

Language:Idris020

typed_assembly

Language:Lean010

fadyadal.github.io

010

fadyadal.me.old

My personal website built in Gatsby, React, and Node.JS.

Language:CSSMIT010

git-sticker

submit pull request, git free sticker 🔥

Language:JavaScript000

lean-example

Language:LeanMIT000

lean_example

Language:Lean010

LeanDojoChatGPT

ChatGPT plugin for theorem proving in Lean

Language:PythonMIT000

legendary-eureka

Language:Rust010

minigrep

Rust mini implementation of grep

Language:Rust010

mun

The STEM MUN Website

Language:CSS010

nasaAugmentedCity

Language:Kotlin000

omarayman

Language:JavaScriptMIT010

possibly-doomed

Language:Rust000

research

Language:HTML010

rwp

Language:RMIT010

stemegypt

The STEM Egypt website

Language:JavaScriptMIT010

tal

An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)

Language:HaskellMIT000

universe

All that is within the bounds of the universe

010

Website

The website and documentation for thenewboston.

Language:TypeScriptMIT000