Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by CharlesAverill

A curated list of projects in awesome lists by CharlesAverill .

https://github.com/charlesaverill/zenith

A wireframe renderer written in OCaml

Last synced: 14 Nov 2024

https://github.com/charlesaverill/aftn

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

Last synced: 14 Nov 2024

https://github.com/charlesaverill/satyrn

A Notebook alternative that supports branching code and local collaboration.

data-science full-stack ide jupyter-notebook machine-learning open-source python web-development

Last synced: 14 Nov 2024

https://github.com/charlesaverill/deffs

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

filesystem fuse linux security

Last synced: 14 Nov 2024

https://github.com/charlesaverill/ecco

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

c compiler compiler-design

Last synced: 14 Nov 2024

https://github.com/charlesaverill/yarr

Yet Another Relativistic Renderer

Last synced: 14 Nov 2024

https://github.com/charlesaverill/kuiper

A terminal-based dating application for UTD students

cli curses dating terminal-based utdallas

Last synced: 14 Nov 2024

https://github.com/charlesaverill/phantasia

Multiplatform Final Fantasy 1 port in Unity

Last synced: 14 Nov 2024

https://github.com/charlesaverill/purple

Purple standard language specification and compiler implementation

c compiler programming-language programming-language-development

Last synced: 14 Nov 2024

https://github.com/charlesaverill/oot_le

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

Last synced: 14 Nov 2024

https://github.com/charlesaverill/coqphysicsexperiments

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

Last synced: 14 Nov 2024

https://github.com/charlesaverill/address-atomization

Implementation of Jason Rigby's address-net for Keras

Last synced: 14 Nov 2024

https://github.com/charlesaverill/gofr

A Programming Language controlled by the game of Go

board-game dsl esoteric-language go-game ocaml

Last synced: 14 Nov 2024

https://github.com/charlesaverill/hclt

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

Last synced: 14 Nov 2024

https://github.com/charlesaverill/ctpe

Coq Tactics in Plain English

Last synced: 14 Nov 2024

https://github.com/charlesaverill/volpic

Verifier of Lifted Pascal in Coq

coq formal-verification metafont ocaml tex

Last synced: 10 Oct 2024

https://github.com/charlesaverill/np_sound

A NumPy-based sound library for Python

Last synced: 14 Nov 2024

https://github.com/charlesaverill/mipselbrot

An interactive mandelbrot fractal viewer written in MIPS

Last synced: 14 Nov 2024

https://github.com/charlesaverill/kerastroke

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

artificial-intelligence dropout machine-learning neural-network psychology

Last synced: 14 Nov 2024

https://github.com/charlesaverill/double_slit

A recreation of the double slit experiment using matplotlib

Last synced: 14 Nov 2024

https://github.com/charlesaverill/gbcamel

A Gameboy Color emulator written in OCaml

Last synced: 14 Nov 2024

https://github.com/charlesaverill/pokefirered

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

Last synced: 14 Nov 2024

https://github.com/charlesaverill/owme

OWME Window Manager Emulator

Last synced: 14 Nov 2024

https://github.com/charlesaverill/mutable

MUlTiple AssemBly Language Emulator

Last synced: 14 Nov 2024

https://github.com/charlesaverill/time_sensitive_riscv

Examples of timing-sensitive RISC-V code

Last synced: 14 Nov 2024

https://github.com/charlesaverill/dinoisland

A dinosaur-focused 3D Platformer inspired by N64 titles

3d-platformer dinosaur unity3d

Last synced: 14 Nov 2024

https://github.com/charlesaverill/fontmorph

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

font metafont

Last synced: 14 Nov 2024

https://github.com/charlesaverill/grades

A grade calculator written in plain JavaScript

Last synced: 14 Nov 2024

https://github.com/charlesaverill/localcelestialbodies

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

Last synced: 14 Nov 2024

https://github.com/charlesaverill/softwarefoundationsexercises

Completed exercises for the Software Foundations textbook using Coq and Gallina

Last synced: 14 Nov 2024

https://github.com/charlesaverill/camlcards

A card game engine

Last synced: 14 Nov 2024

https://github.com/charlesaverill/aoc23

Advent of Code 2023

Last synced: 14 Nov 2024

https://github.com/charlesaverill/dsbs

Dead-Simple Build System for Coq

coq

Last synced: 06 Nov 2024

https://github.com/charlesaverill/physicsnet

Comparing the ability of various RNN architectures to generalize physical interactions based on sound waves

Last synced: 14 Nov 2024

https://github.com/charlesaverill/bouncingblocks

A Matlab program to calculate pi using block collisions

Last synced: 14 Nov 2024

https://github.com/charlesaverill/imagenet-voice

A collection of synthesized audio files containing spoken labels from the ImageNet dataset

Last synced: 14 Nov 2024

https://github.com/charlesaverill/pdmusic

A collection of Public Domain music from "The International Library of Music"

Last synced: 14 Nov 2024

https://github.com/charlesaverill/lerna

A Peer-to-Peer Communication Platform

Last synced: 14 Nov 2024

https://github.com/charlesaverill/matlabcalculator

A basic calculator built with Matlab

Last synced: 14 Nov 2024

https://github.com/charlesaverill/cuffs

A machine learning library that does everything for you

Last synced: 14 Nov 2024

https://github.com/charlesaverill/rdt_ocaml

An implementation of a Reliable Data Transfer (RDT) protocol in OCaml over UDP

Last synced: 14 Nov 2024

https://github.com/charlesaverill/ttsdg

A package to automate TTS data generation

Last synced: 14 Nov 2024

https://github.com/charlesaverill/nixos

The contents of my /etc/nixos directory

Last synced: 14 Nov 2024

https://github.com/charlesaverill/zpp

Zelda 1 clone written in C++ with SFML

Last synced: 14 Nov 2024

https://github.com/charlesaverill/vannilla

An Artificial Neural Network written in vanilla Python, No Imports

artificial-neural-networks neural-network vanilla

Last synced: 14 Nov 2024

https://github.com/charlesaverill/themetafontbook

Following along with Donald Knuth's METAFONTBook of the "Computers & Typesetting" Set

Last synced: 14 Nov 2024

https://github.com/charlesaverill/pong2021

Unity2D Pong Remake

Last synced: 14 Nov 2024

https://github.com/charlesaverill/physicsbooktemplate

A LaTeX template for nice physics books or other documents

Last synced: 14 Nov 2024

https://github.com/charlesaverill/lucid-lang

VSCode Integration for the Lucid language

Last synced: 14 Nov 2024

https://github.com/charlesaverill/ocaml_project

Friendly Template for OCaml Projects

Last synced: 14 Nov 2024

https://github.com/charlesaverill/nicebot

A nice discord bot

Last synced: 14 Nov 2024

https://github.com/charlesaverill/nbodygravity

An n-body gravity simulator in Matlab

Last synced: 14 Nov 2024

https://github.com/charlesaverill/lucid

Language for Unifying CiC Interpretation and Development

Last synced: 14 Nov 2024

https://github.com/charlesaverill/mesh-parametrization

A mesh parametrization tool

Last synced: 14 Nov 2024

https://github.com/charlesaverill/mfcode

VSCode Integration for METAFONT

Last synced: 14 Nov 2024

https://github.com/charlesaverill/fpc-source

My fork of FPC for VOLPIC

Last synced: 14 Nov 2024

https://github.com/charlesaverill/gocaml

A Go engine for OCaml

Last synced: 14 Nov 2024

https://github.com/charlesaverill/chatbotdata

A collection of data files for Jishnu Chowhury's Chatbot - https://github.com/JRC1995/Chatbot

Last synced: 14 Nov 2024

https://github.com/charlesaverill/birdandbeans

Unity remake of Bird And Beans (Pyoro) for the DSi: https://www.mariowiki.com/Bird_%26_Beans

Last synced: 14 Nov 2024

https://github.com/charlesaverill/atcgames

Game files for BSDGames/ATC

Last synced: 14 Nov 2024

https://github.com/charlesaverill/boa

Last synced: 14 Nov 2024