alt-romes/hegg

Stars
75
Rank 424,578 (Top 9 %)
Language
Haskell
License
BSD 3-Clause "New...
Created over 2 years ago
Updated 8 months ago

alt-romes/hegg

alt-romes

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

Fast equality saturation in Haskell

programmer-calculator

Terminal calculator made for programmers working with multiple number representations, sizes, and overall close to the bits

ghengin

Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine

reference-counting

Reference counting with linear types

calculator-c-parser

A simple implementation of a parser and its use to calculate simple mathematical expressions

chip8-emulator-for-gameboy

A chip8 emulator made in gameboy assembly for the gameboy

haskell-x-swift-project-steps

A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post

llvm-c-search

Terminal interface to search the LLVM-C API

minblog

a minimal blog platform using github for hosting content and page

gameboyemulator

simple gameboy emulator

mermaid-hs

A Haskell library for parsing mermaid diagrams

slfl

The SILI synthesiser - synthesis of linear functional programs

haskell-swift

Haskell x Swift interoperability libraries and tools

albumsofthemonth

generate a page to display albums. add albums with an npm command. hosted on github

onory

High-level language embedded in Haskell for specifying distributed algorithms/systems

hackathon-2022

ghc-linear-synthesis-plugin

A GHC plugin for synthesizing Haskell programs from Linear Types using bottom-up proof search in linear logic with focusing

c-compiler

Why am I writing another C to LLVM compiler

minecraft-dhall

Draft: Minecraft mod development with Dhall

social-index-search-engine

FCT Hackathon 2023 Project

operating-system

simplest-godot-dialogues

Simple dialogue controller and example scene

linear-core

My master thesis on typechecking linearity in GHC Core, by understanding semantic linearity in the presence of call-by-need evaluation

Operator

IPCA Game Jam submission

haskell-ui

cabal-check-det

Developer script to compare objects produced by GHC for a Cabal package

advent-of-code-2021

homebrew-pcalc

homebrew tap for the programmer calculator

.vim

minimalist and modern vim configuration with sane settings, handwritten statusline and tabline, small custom plugins, and few external plugins

dotfiles

ludum-dare-49

project-euler

Attempts at Project Euler challenges

generating-data-for-a-db-project

A simulation of a game to generate data for a project, and other data scraping samples

ldjam45

open sourced submission for the Ludum Dare 45 Game Jam

asd-babel-gen

For ASD: Automatically generate entire Babel projects from pseudo-code :)

papers

langjam-cdc

A very simple language that when interpreted displays in a graphical window the composition done in the main function (langjam submission)

madjam-2021

Mad Game Jam 2021 Submission [Memories]

bots

control

setting up home, with extra steps

pushups-commander

https://alt-romes.github.io/pushups-commander/

ggj21

Global Game Jam 2021 submission!

cob-hs