Discover @CharlesAverill Open Source projects

Charles Averill (@CharlesAverill)

CharlesAverill

Stars
165
Global Rank 142,390 (Top 5 %)
Followers 72
Following 77
Registered over 5 years ago
Most used languages

Python
22.2 %

C
19.4 %

OCaml
19.4 %

Coq 8.3 %

JavaScript
5.6 %

C#
5.6 %

Pascal 2.8 %

OpenEdge ABL 2.8 %

Jupyter Notebook
2.8 %

Shell
2.8 %

CSS
2.8 %

Assembly
2.8 %

Cuda 2.8 %
Location 🇺🇸 United States
Country Total Rank 40,178
Country Ranking

Coq 78

OpenEdge ABL 141

OCaml
168

Cuda 169

Pascal 376

Assembly
1,605

C
3,286

C#
9,426

zenith

A wireframe renderer written in OCaml

aftn

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

DEFFS

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

yarr

Yet Another Relativistic Renderer

ecco

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

kuiper

A terminal-based dating application for UTD students

satyrn

A Notebook alternative that supports branching code and local collaboration.

prettybird

oot_le

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

Phantasia

Multiplatform Final Fantasy 1 port in Unity

Purple

Purple standard language specification and compiler implementation

CoqPhysicsExperiments

A sandbox for me to derive high-level physical relationships from logical axioms

C_Project

Friendly Template for C Projects

GoFR

A Programming Language controlled by the game of Go

HCLT

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

Address-Atomization

Implementation of Jason Rigby's address-net for Keras

ctpe

Coq Tactics in Plain English

volpic

Verifier of Lifted Pascal in Coq

double_slit

A recreation of the double slit experiment using matplotlib

Jupyter Notebook

GBCamel

A Gameboy Color emulator written in OCaml

purple_archive

A simple compiled language

np_sound

A NumPy-based sound library for Python

pokefirered

FireRed enhancement based on https://github.com/pret/pokefirered

MIPSelbrot

An interactive mandelbrot fractal viewer written in MIPS

kerastroke

A suite of the generalization-improvement techniques Stroke, Pruning, and NeuroPlast

grades

A grade calculator written in plain JavaScript

SoftwareFoundationsExercises

Completed exercises for the Software Foundations textbook using Coq and Gallina

aoc23

Advent of Code 2023

owme

OWME Window Manager Emulator

LocalCelestialBodies

Scripts and data to generate a database of celestial bodies local to our Solar System

DinoIsland

A dinosaur-focused 3D Platformer inspired by N64 titles

MUTABLE

MUlTiple AssemBly Language Emulator

camlcards

A card game engine

error_pie

fontmorph

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

dsbs

Dead-Simple Build System for Coq

_CardWarsDominionPlanning