Discover nomeata/ic-certification Open Source project

arbtt, the automatic rule-based time-tracker

359

arbtt

Inspection Testing for Haskell

261

inspection-testing

Let GHC prove program equations for you

171

ghc-proofs

A magic typeclass that just does it

146

ghc-justdoit

Small daemon to relay udp broadcast packages on a different subnet.

120

udp-broadcast-relay

gtk-vector-screenshot

veggies

Hopefully verifiable code generation in GHC

Git Performance Dashboard

gipeda

loogle

Mathlib search tool

Lecture notes for teaching Haskell to those who want to read it

haskell-for-readers

find git commits that matter

git-multisect

Extract the heap representation of Haskell values and thunks

ghc-heap-view

Very simple tool to display some text as large as possible

screen-message

bisect-binary

Tool to determine relevant parts of binary data

Experiments about running Haskell via WebAssembly on Fastly

haskell-on-fastly

kaleidogen

Grow procedual art

Calculate Haskell dependency ranges from multiple build plans

cabal-plan-bounds

A telegram bot on the Internet Computer

ic-telegram-bot

Rust

ghcjs2gh-pages

Example repository setup that deploys GHCJS programs to GitHub Pages

Create PR to bump Haskell dependency bounds

haskell-bounds-bump-action

ic-http-lambda

A HTTP-to-IC bridge (proof of concept)

Rust

bSpokeLight

Custom firmware for the YQ8003 bicycle spoke light

Nix

tasty-expected-failure

Mark test cases as expected-failure

A package re-exporting the verified subset of containers

containers-verified

Hack the canister, get the token

capture-the-ic-token

Motoko

secp265k1-lookup-table

A lookup table for the discrete log in secp265k1

haskell-rec-def

APIs for more recursive definitions

lean-wf-induct

A motoko canister that can server certified HTTP assets

motoko-certified-http

Modelica

safe-docker

Sandbox untrusted code using docker

Perl

haskell-via-sokoban

A haskell tutorial using CodeWorld

FileTea-like command line tool

share-file

A small-step semantics for Core

ghc-core-smallstep

The Codeworld-implemented sildes to my CodeWorld talk

codeworld-talk

Merges Haskell modules into one

hs-all-in-one

lean-calcify

A browser-only web interface to the free-theorems library

free-theorems-static-webui

Learn programming with Python and Telegram

pybotbrain

PureScript

ic-barrier

Delay responses on the Internet Computer, for testing and other purposes

Modelica

list-producing-monads

Benchmarks for http://www.joachim-breitner.de/blog/684-constructing-a-list-in-a-monad-revisited

Squash-merge aware merge method

git-post-squash

Temporary repository to investigate ARM binaries in GME files

tiptoi-arm-investigation

list-fusion-probe

An applicative functor to manage successors

haskell-successors

A candid library for Haskell

haskell-candid

The code for the slidingright paper

slidingright

Feeble attempts at bootstrapping Haskell

unicode-screensaver

Unicode Screensaver

bootstrapping-haskell

Benchmarks for list fusion experiments

list-fusion-lab

The “Haskell Bytes” tutorial at Bobkonf 2021

haskell-bytes-bobkonf2021

Statistics for the GHC proposal repository

ghc-proposals-stats

Code for Motoko talk at SBC2020

motoko-sbc2020

Modelica

hackage-ghcjs-overlay

hal2016-website

Webseite for Haskell in Leipzig 2016

HTML

umklappbot

A telegram bot to play the Umklappspiel

Source for the ICFP'23 Functional Pearl

libnss-myhostname

rec-def-pearl

HTML

reflex-dom-fragment-shader-canvas

A reflex-dom widget to draw on a canvas with a fragment shader program

ipatch

interactive patch editor

Source for http://mitschriebwiki.nomeata.de/

you-say-first

You Say First!

JavaScript

mitschriebwiki

TeX

nofib-analyse

Parse and compare nofib runs

A history of GHC fingerprint files; used for travis CI.

ghc-complete

Inofficial tools for heavy yucata.de users.

yucata-tools

funcCF

The github pages for http://github.com/nomeata/incredible

link-monitor-applet

incredible-demo

JavaScript

cabal-force-upper-bound

Reliably exercise the upper bound of your cabal dependencies

lean-stage0-audit

lean-trie

squasher

badminton-junkies

Badminton Junkies e.V. site

LEB128 encoding for Haskell

haskell-leb128-cereal

sat-britney

lean4-memo-nat

L-seed

latexki

Static Site Generator for Latex-based Wiki

Markup language for the 7×21 USB LED Display from Dream Cheeky/get-digital.de

info-beamer-wikicloud

Plug-In for info-beamer

Lua

led-display

Simple heuristic for packing discs of varying radii in a circle

circle-packing

libnss-gw-name

rerolling-sixes

colibri-funcup-2023

lean-darray

Experimental local confluence checker for Lean simp lemmas

lean-simplc

lean-derec-lab

LaTeX class to typeset continued equalities

conteq

TeX

sumserum

Sim-Serim clone as a browser game

JavaScript

zpub

zpub is a server to collaboratively work on DocBook-based documentation.

Real-world nofib addition proposal

tttool-nofib

smime-smtp-proxy

A Strongly Connected Components algorithm for Motoko

motoko-scc

Motoko

nt-coerce

Explicit newtype coercion lifting in Haskell

haskell-spacegoo

Generates random Haskell code based on some existing corpus of modules

random-haskell-code

Slowdown in Called arity analysis from GHC 8.0.2 to GHC 8.2.1

parser-calledarityanalysis

lean-constructions