There are no reviews yet. Be the first to send feedback to the community and the maintainers!
programmer-calculator
Terminal calculator made for programmers working with multiple number representations, sizes, and overall close to the bitshegg
Fast equality saturation in Haskellghengin
Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game enginereference-counting
Reference counting with linear typescalculator-c-parser
A simple implementation of a parser and its use to calculate simple mathematical expressionschip8-emulator-for-gameboy
A chip8 emulator made in gameboy assembly for the gameboyhaskell-x-swift-project-steps
A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog postllvm-c-search
Terminal interface to search the LLVM-C APIminblog
a minimal blog platform using github for hosting content and pagegameboyemulator
simple gameboy emulatormermaid-hs
A Haskell library for parsing mermaid diagramsslfl
The SILI synthesiser - synthesis of linear functional programshaskell-swift
Haskell x Swift interoperability libraries and toolsalbumsofthemonth
generate a page to display albums. add albums with an npm command. hosted on githubonory
High-level language embedded in Haskell for specifying distributed algorithms/systemshackathon-2022
boraghc-linear-synthesis-plugin
A GHC plugin for synthesizing Haskell programs from Linear Types using bottom-up proof search in linear logic with focusingminecraft-dhall
Draft: Minecraft mod development with Dhallsocial-index-search-engine
FCT Hackathon 2023 Projectoperating-system
simplest-godot-dialogues
Simple dialogue controller and example scenelinear-core
My master thesis on typechecking linearity in GHC Core, by understanding semantic linearity in the presence of call-by-need evaluationOperator
IPCA Game Jam submissionhaskell-ui
cabal-check-det
Developer script to compare objects produced by GHC for a Cabal packageadvent-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 pluginsdotfiles
ludum-dare-49
project-euler
Attempts at Project Euler challengesgenerating-data-for-a-db-project
A simulation of a game to generate data for a project, and other data scraping samplesldjam45
open sourced submission for the Ludum Dare 45 Game Jamasd-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 stepspushups-commander
https://alt-romes.github.io/pushups-commander/ggj21
Global Game Jam 2021 submission!cob-hs
Love Open Source and this site? Check out how you can help us