Beast code in Giters

Callan McGill's starred repositories

drawio

draw.io is a JavaScript, client-side editor for general diagramming.

Language:JavaScriptNOASSERTION41286 589 3732

typst

A new markup-based typesetting system that is powerful and easy to learn.

Language:RustApache-2.034860 93 2670

Orca

Esoteric Programming Language

Language:JavaScriptMIT4573 105 165

hugo-theme-terminal

A simple, retro theme for Hugo

Language:CSSMIT2070 17 211

aura

A multilingual package manager for Arch Linux and the AUR.

Language:HaskellGPL-3.01755 30 598

swarm

Resource gathering + programming game

Language:JavaScriptNOASSERTION837 15 771

minirust

A precise specification for "Rust lite / MIR plus"

Language:RustApache-2.0819 16 49

sixten

Functional programming with fewer indirections

Language:HaskellBSD-3-Clause761 49 85

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

Language:HaskellBSD-3-Clause615 40 32

agda-stdlib

The Agda standard library

Language:AgdaNOASSERTION583 29 1018

symbolica

A modern computer algebra library for Python and Rust.

Language:RustNOASSERTION540 11 11

smalltt

Demo for high-performance type theory elaboration

Language:LeanMIT519 33 4

mirth

Compiler for the Mirth programming language.

Language:C0BSD447 28 41

mazeppa

A modern supercompiler for call-by-value functional languages

Language:OCamlMIT376 8 22

cedille

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

Language:AgdaMIT365 24 119

ogma

Generator of runtime monitors for flight and robotics applications.

Language:HaskellNOASSERTION335 13 106

hermes

Hermes software environment manager

Language:CMIT312 13 65

CS410-17

being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

Language:Agda263 23 3

sixty

Dependent type checker using normalisation by evaluation

Language:HaskellNOASSERTION254 24 5

Agda

Agda formalisation of the Introduction to Homotopy Type Theory

Language:AgdaGPL-3.0123 110

book-networks-public

Companion Site for Economic Networks: Theory and Computation

Language:Jupyter Notebook98 6 17

helium

The Helium compiler, Helium-as-a-library, and the texthint interpreter

Language:HaskellGPL-3.094 8 3

hyperbole

Haskell interactive serverside web framework inspired by HTMX

Language:HaskellNOASSERTION86 5 22

normalization-bench

Lambda normalization and conversion checking benchmarks for various implementations

Language:HaskellMIT55 13 8

markdown-to-html

A Markdown to HTML compiler written in Haskell.

Language:HaskellMIT15 20

hs-callbypushvalue

Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?

Language:HaskellBSD-3-Clause14 20

yatima-lang-proto

The original Haskell + IPFS prototype of the yatima language

Language:HaskellGPL-3.0500

environment-bench

Benchmarking compiler representations of variable environments

Language:HaskellBSD-3-Clause5 3 1

theta-idl

Define communication protocols between applications using algebraic data types.

Language:HaskellNOASSERTION4 30

seven-guis-reflex

a small project to learn how to use Reflex FRP based on the "Seven Tasks" GUI benchmark

Language:Haskell1 30