• Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created almost 9 years ago
  • Updated almost 6 years ago

Reviews

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

Repository Details

Higher-C compiler toolchain, written in Haskell.

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

solid-orbit

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

mandelbulb

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

ghcide-starter

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

alonzo

Purely Functional Untyped Programming Language
Haskell
2
star
6

friendlyconure

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

PokeADot

Addictive circle poking game!
Java
1
star
8

esbuild-plugin-nearley

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

reflex-calculator

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

sfml-cmake-project

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

mnist

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

vscode-coolscript

VSCode language support for CoolScript
C#
1
star
13

hylo.gg

1
star
14

knowledge-project

Haskell
1
star
15

andgate

Profile readme
1
star
16

resume

My resume
TeX
1
star
17

matter

Haskell
1
star
18

GraphAlgorithmSlides

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

mountain-racer

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

zoom-clone

JavaScript
1
star
21

mandelbulb-sfml

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

cosmic-calamity

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

hawk-cpp

Hawk programming language
C++
1
star
24

smp_lab

Lab 5, CS470
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