• Stars
    star
    1
  • Language
    C
  • Created over 5 years ago
  • Updated over 5 years ago

Reviews

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

Repository Details

Lab 5, CS470

More Repositories

1

type-theory-compiler

Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
Haskell
42
star
2

higher-c

Higher-C compiler toolchain, written in Haskell.
Haskell
8
star
3

solid-orbit

Solid.js hooks for the Orbit.js datalayer
TypeScript
7
star
4

mandelbulb

Mandelbulb explorer written in c++ and glsl shaders
HTML
3
star
5

ghcide-starter

Starter project that provides a nix shell for developing with ghcide and cabal
Nix
2
star
6

alonzo

Purely Functional Untyped Programming Language
Haskell
2
star
7

friendlyconure

Website for the illustrious designer, friendlyconure.
TypeScript
1
star
8

PokeADot

Addictive circle poking game!
Java
1
star
9

esbuild-plugin-nearley

Esbuild plugin for building nearley grammar files.
TypeScript
1
star
10

reflex-calculator

A calculator webapp written with reflex-dom and clay
Haskell
1
star
11

sfml-cmake-project

Basic project skeleton for a cmake project that uses SFML.
CMake
1
star
12

mnist

Handwritten digit recognizer built with pytorch and solid js
Jupyter Notebook
1
star
13

vscode-coolscript

VSCode language support for CoolScript
C#
1
star
14

hylo.gg

1
star
15

knowledge-project

Haskell
1
star
16

andgate

Profile readme
1
star
17

resume

My resume
TeX
1
star
18

matter

Haskell
1
star
19

GraphAlgorithmSlides

Slides from my college course "Introduction to Graph Algorithms"
1
star
20

mountain-racer

Project 2 for CS380, taken during Spring 2018
C++
1
star
21

zoom-clone

JavaScript
1
star
22

mandelbulb-sfml

Mandelbulb demo, implemented in C++ with sfml
C++
1
star
23

cosmic-calamity

Action RPG built in Godot, inspired by Link's Awakening
GDScript
1
star
24

hawk-cpp

Hawk programming language
C++
1
star
25

andgate.github.io

My root github page
TypeScript
1
star
26

coolscript

Untyped scripting language
TypeScript
1
star
27

python-tests

Python unit testing playground where I explore various python technologies.
Python
1
star
28

githell

JavaScript
1
star
29

andgate-blog

My blogsite built with Hakyll for https://www.andgate.dev
Nix
1
star
30

discord-botspam-removal-tool

Remove discord bot spam with a friendly ui
Python
1
star
31

Ikou

Get to the goal!
Java
1
star