• Stars
    star
    2
  • Language
    Assembly
  • License
    GNU General Publi...
  • Created about 3 years ago
  • Updated about 3 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An interactive mandelbrot fractal viewer written in MIPS

More Repositories

1

zenith

A wireframe renderer written in OCaml
OCaml
20
star
2

aftn

A C implementation of Alien: Fate of the Nostromo, a 2021 board game of the same name
C
18
star
3

satyrn

A Notebook alternative that supports branching code and local collaboration.
JavaScript
15
star
4

DEFFS

Distributed, Encrypted, Fractured File System - A custom distributed file system written in C with FUSE
C
14
star
5

yarr

Yet Another Relativistic Renderer
Cuda
12
star
6

ecco

An Educational C COmpiler written in Python, written for use in my Practical Compiler Design course
Python
12
star
7

kuiper

A terminal-based dating application for UTD students
Python
10
star
8

proofchat

A verified(?) TCP client/server chat application
OCaml
9
star
9

prettybird

Python
7
star
10

oot_le

A source hack of The Legend of Zelda: Ocarina of Time that adds elements from the OOT manga
C
5
star
11

Phantasia

Multiplatform Final Fantasy 1 port in Unity
C#
5
star
12

Purple

Purple standard language specification and compiler implementation
C
5
star
13

CoqPhysicsExperiments

A sandbox for me to derive high-level physical relationships from logical axioms
Coq
4
star
14

C_Project

Friendly Template for C Projects
C
4
star
15

GoFR

A Programming Language controlled by the game of Go
OCaml
3
star
16

HCLT

A Coq implementation of "Foundations of Combinatory Logic," the 1930 Ph.D. thesis written by Haskell Curry
Coq
3
star
17

Address-Atomization

Implementation of Jason Rigby's address-net for Keras
Python
3
star
18

ctpe

Coq Tactics in Plain English
CSS
3
star
19

volpic

Verifier of Lifted Pascal in Coq
OpenEdge ABL
3
star
20

double_slit

A recreation of the double slit experiment using matplotlib
Jupyter Notebook
2
star
21

GBCamel

A Gameboy Color emulator written in OCaml
OCaml
2
star
22

purple_archive

A simple compiled language
C
2
star
23

np_sound

A NumPy-based sound library for Python
Python
2
star
24

pokefirered

FireRed enhancement based on https://github.com/pret/pokefirered
C
2
star
25

kerastroke

A suite of the generalization-improvement techniques Stroke, Pruning, and NeuroPlast
Python
2
star
26

grades

A grade calculator written in plain JavaScript
JavaScript
1
star
27

SoftwareFoundationsExercises

Completed exercises for the Software Foundations textbook using Coq and Gallina
Coq
1
star
28

aoc23

Advent of Code 2023
Pascal
1
star
29

owme

OWME Window Manager Emulator
OCaml
1
star
30

LocalCelestialBodies

Scripts and data to generate a database of celestial bodies local to our Solar System
Python
1
star
31

DinoIsland

A dinosaur-focused 3D Platformer inspired by N64 titles
C#
1
star
32

time_sensitive_riscv

Examples of timing-sensitive RISC-V code
Coq
1
star
33

MUTABLE

MUlTiple AssemBly Language Emulator
OCaml
1
star
34

camlcards

A card game engine
OCaml
1
star
35

error_pie

Python
1
star
36

fontmorph

A shell script to interpolate between two METAFONT styles based on Donald Knuth's 1982 "The Concept of a Meta-Font"
Shell
1
star
37

dsbs

Dead-Simple Build System for Coq
OCaml
1
star
38

_CardWarsDominionPlanning

1
star