• Stars
    star
    5
  • Rank 2,846,731 (Top 57 %)
  • Language
    C
  • License
    GNU General Publi...
  • Created about 2 years ago
  • Updated about 1 year ago

Reviews

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

Repository Details

Purple standard language specification and compiler implementation

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
17
star
3

DEFFS

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

yarr

Yet Another Relativistic Renderer
Cuda
12
star
5

ecco

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

kuiper

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

satyrn

A Notebook alternative that supports branching code and local collaboration.
JavaScript
9
star
8

prettybird

Python
7
star
9

oot_le

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

Phantasia

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

CoqPhysicsExperiments

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

C_Project

Friendly Template for C Projects
C
4
star
13

GoFR

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

HCLT

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

Address-Atomization

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

ctpe

Coq Tactics in Plain English
CSS
3
star
17

volpic

Verifier of Lifted Pascal in Coq
OpenEdge ABL
3
star
18

double_slit

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

GBCamel

A Gameboy Color emulator written in OCaml
OCaml
2
star
20

purple_archive

A simple compiled language
C
2
star
21

np_sound

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

pokefirered

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

MIPSelbrot

An interactive mandelbrot fractal viewer written in MIPS
Assembly
2
star
24

kerastroke

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

grades

A grade calculator written in plain JavaScript
JavaScript
1
star
26

SoftwareFoundationsExercises

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

aoc23

Advent of Code 2023
Pascal
1
star
28

owme

OWME Window Manager Emulator
OCaml
1
star
29

LocalCelestialBodies

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

DinoIsland

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

MUTABLE

MUlTiple AssemBly Language Emulator
OCaml
1
star
32

camlcards

A card game engine
OCaml
1
star
33

error_pie

Python
1
star
34

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
35

dsbs

Dead-Simple Build System for Coq
OCaml
1
star
36

_CardWarsDominionPlanning

1
star