• This repository has been archived on 23/Jan/2021
  • Stars
    star
    1
  • Language
    HTML
  • Created about 5 years ago
  • Updated about 5 years ago

Reviews

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

Repository Details

open sourced submission for the Ludum Dare 45 Game Jam

More Repositories

1

programmer-calculator

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

hegg

Fast equality saturation in Haskell
Haskell
75
star
3

ghengin

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

reference-counting

Reference counting with linear types
Haskell
27
star
5

calculator-c-parser

A simple implementation of a parser and its use to calculate simple mathematical expressions
C
16
star
6

chip8-emulator-for-gameboy

A chip8 emulator made in gameboy assembly for the gameboy
Assembly
14
star
7

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
13
star
8

llvm-c-search

Terminal interface to search the LLVM-C API
Go
12
star
9

minblog

a minimal blog platform using github for hosting content and page
Vue
11
star
10

gameboyemulator

simple gameboy emulator
C
8
star
11

mermaid-hs

A Haskell library for parsing mermaid diagrams
Haskell
8
star
12

slfl

The SILI synthesiser - synthesis of linear functional programs
Haskell
7
star
13

haskell-swift

Haskell x Swift interoperability libraries and tools
Haskell
7
star
14

albumsofthemonth

generate a page to display albums. add albums with an npm command. hosted on github
CSS
5
star
15

onory

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

hackathon-2022

bora
JavaScript
5
star
17

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
4
star
18

c-compiler

Why am I writing another C to LLVM compiler
C
3
star
19

minecraft-dhall

Draft: Minecraft mod development with Dhall
Haskell
2
star
20

social-index-search-engine

FCT Hackathon 2023 Project
JavaScript
2
star
21

operating-system

C
2
star
22

simplest-godot-dialogues

Simple dialogue controller and example scene
GDScript
2
star
23

linear-core

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

Operator

IPCA Game Jam submission
Python
1
star
25

haskell-ui

Haskell
1
star
26

cabal-check-det

Developer script to compare objects produced by GHC for a Cabal package
Shell
1
star
27

advent-of-code-2021

LLVM
1
star
28

homebrew-pcalc

homebrew tap for the programmer calculator
Ruby
1
star
29

.vim

minimalist and modern vim configuration with sane settings, handwritten statusline and tabline, small custom plugins, and few external plugins
Vim Script
1
star
30

dotfiles

C
1
star
31

ludum-dare-49

C++
1
star
32

project-euler

Attempts at Project Euler challenges
Haskell
1
star
33

generating-data-for-a-db-project

A simulation of a game to generate data for a project, and other data scraping samples
Python
1
star
34

asd-babel-gen

For ASD: Automatically generate entire Babel projects from pseudo-code :)
Haskell
1
star
35

papers

TeX
1
star
36

langjam-cdc

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

madjam-2021

Mad Game Jam 2021 Submission [Memories]
GDScript
1
star
38

bots

Python
1
star
39

control

setting up home, with extra steps
CSS
1
star
40

pushups-commander

https://alt-romes.github.io/pushups-commander/
Haskell
1
star
41

ggj21

Global Game Jam 2021 submission!
JavaScript
1
star
42

cob-hs

Haskell
1
star