Discover alt-romes/linear-core Open Source project

Stars
2
Language
Haskell
Created about 2 years ago
Updated 9 months ago

alt-romes

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

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

programmer-calculator

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

538

hegg

Fast equality saturation in Haskell

Haskell

ghengin

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

Haskell

reference-counting

Reference counting with linear types

Haskell

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

Assembly

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

Swift

llvm-c-search

Terminal interface to search the LLVM-C API

minblog

a minimal blog platform using github for hosting content and page

Vue

gameboyemulator

simple gameboy emulator

mermaid-hs

A Haskell library for parsing mermaid diagrams

Haskell

slfl

The SILI synthesiser - synthesis of linear functional programs

Haskell

haskell-swift

Haskell x Swift interoperability libraries and tools

Haskell

albumsofthemonth

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

CSS

onory

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

Haskell

hackathon-2022

bora

JavaScript

ghc-linear-synthesis-plugin

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

Haskell

c-compiler

Why am I writing another C to LLVM compiler

minecraft-dhall

Draft: Minecraft mod development with Dhall

Haskell

social-index-search-engine

FCT Hackathon 2023 Project

JavaScript

operating-system

simplest-godot-dialogues

Simple dialogue controller and example scene

GDScript

Operator

IPCA Game Jam submission

Python

haskell-ui

Haskell

cabal-check-det

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

Shell

advent-of-code-2021

LLVM

homebrew-pcalc

homebrew tap for the programmer calculator

Ruby

.vim

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

Vim Script

dotfiles

ludum-dare-49

C++

project-euler

Attempts at Project Euler challenges

Haskell

generating-data-for-a-db-project

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

Python

ldjam45

open sourced submission for the Ludum Dare 45 Game Jam

HTML

asd-babel-gen

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

Haskell

papers

TeX

langjam-cdc

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

Haskell

madjam-2021

Mad Game Jam 2021 Submission [Memories]

GDScript

bots

Python

control

setting up home, with extra steps

CSS

pushups-commander

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

Haskell

ggj21

Global Game Jam 2021 submission!

JavaScript

cob-hs

Haskell

alt-romes/linear-core

alt-romes

Reviews

Repository Details

More Repositories