andgate/type-theory-compiler andgate/type-theory-compiler

  • Stars
    star
    42
  • Rank 656,625 (Top 13 %)
  • Language
    Haskell
  • Created over 5 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
andgate/type-theory-compiler
github

andgate

Reviews

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

Repository Details

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

More Repositories

1

higher-c

Higher-C compiler toolchain, written in Haskell.
Haskell
8
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