Discover @nomeata Open Source projects

Joachim Breitner (@nomeata)

nomeata

Stars
2,367
Global Rank 12,839 (Top 0.5 %)
Followers 581
Following 1
Registered about 15 years ago
Most used languages

Haskell
49.5 %

Lean 10.3 %

C
8.2 %

Python
6.2 %

Shell
4.1 %

JavaScript
4.1 %

HTML
3.1 %

Modelica 3.1 %

Rust
2.1 %

Motoko 2.1 %

TeX
2.1 %

Nix
2.1 %

Lua
1.0 %

PureScript 1.0 %

Perl
1.0 %
Location 🇩🇪 Germany
Country Total Rank 741
Country Ranking

Motoko 2

Haskell
4

Lean 4

Modelica 7

PureScript 18

Nix
31

Perl
155

C
245

Rust
473

TeX
743

Lua
1,019

Shell
1,662

HTML
1,682

Python
2,265

JavaScript
6,866

incredible

The Incredible Proof Machine

arbtt

arbtt, the automatic rule-based time-tracker

inspection-testing

Inspection Testing for Haskell

ghc-proofs

Let GHC prove program equations for you

ghc-justdoit

A magic typeclass that just does it

udp-broadcast-relay

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

gtk-vector-screenshot

veggies

Hopefully verifiable code generation in GHC

gipeda

Git Performance Dashboard

loogle

Mathlib search tool

haskell-for-readers

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

git-multisect

find git commits that matter

ghc-heap-view

Extract the heap representation of Haskell values and thunks

screen-message

Very simple tool to display some text as large as possible

bisect-binary

Tool to determine relevant parts of binary data

haskell-on-fastly

Experiments about running Haskell via WebAssembly on Fastly

kaleidogen

Grow procedual art

cabal-plan-bounds

Calculate Haskell dependency ranges from multiple build plans

ic-telegram-bot

A telegram bot on the Internet Computer

ghcjs2gh-pages

Example repository setup that deploys GHCJS programs to GitHub Pages

haskell-bounds-bump-action

Create PR to bump Haskell dependency bounds

ic-http-lambda

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

bSpokeLight

Custom firmware for the YQ8003 bicycle spoke light

ic-certification

Motoko library for all things related to certification

tasty-expected-failure

Mark test cases as expected-failure

containers-verified

A package re-exporting the verified subset of containers

capture-the-ic-token

Hack the canister, get the token

secp265k1-lookup-table

A lookup table for the discrete log in secp265k1

haskell-rec-def

APIs for more recursive definitions

lean-wf-induct

motoko-certified-http

A motoko canister that can server certified HTTP assets

safe-docker

Sandbox untrusted code using docker

haskell-via-sokoban

A haskell tutorial using CodeWorld

share-file

FileTea-like command line tool

ghc-core-smallstep

A small-step semantics for Core

codeworld-talk

The Codeworld-implemented sildes to my CodeWorld talk

hs-all-in-one

Merges Haskell modules into one

lean-calcify

free-theorems-static-webui

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

pybotbrain

Learn programming with Python and Telegram

ic-barrier

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

list-producing-monads

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

git-post-squash

Squash-merge aware merge method

tiptoi-arm-investigation

Temporary repository to investigate ARM binaries in GME files

list-fusion-probe

haskell-successors

An applicative functor to manage successors

haskell-candid

A candid library for Haskell

slidingright

The code for the slidingright paper

unicode-screensaver

Unicode Screensaver

bootstrapping-haskell

Feeble attempts at bootstrapping Haskell

list-fusion-lab

Benchmarks for list fusion experiments

haskell-bytes-bobkonf2021

The “Haskell Bytes” tutorial at Bobkonf 2021

ghc-proposals-stats

Statistics for the GHC proposal repository

motoko-sbc2020

Code for Motoko talk at SBC2020

hackage-ghcjs-overlay

GHCJS-related packages missing from Hackage

hal2016-website

Webseite for Haskell in Leipzig 2016

umklappbot

A telegram bot to play the Umklappspiel

libnss-myhostname

rec-def-pearl

Source for the ICFP'23 Functional Pearl

reflex-dom-fragment-shader-canvas

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

ipatch

interactive patch editor

you-say-first

mitschriebwiki

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

nofib-analyse

Parse and compare nofib runs

ghc-complete

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

yucata-tools

Inofficial tools for heavy yucata.de users.

funcCF

link-monitor-applet

incredible-demo

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

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

haskell-leb128-cereal

LEB128 encoding for Haskell

sat-britney

lean4-memo-nat

L-seed

latexki

Static Site Generator for Latex-based Wiki

info-beamer-wikicloud

Plug-In for info-beamer

led-display

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

circle-packing

Simple heuristic for packing discs of varying radii in a circle

libnss-gw-name

rerolling-sixes

colibri-funcup-2023

lean-darray

lean-simplc

Experimental local confluence checker for Lean simp lemmas

lean-derec-lab

conteq

LaTeX class to typeset continued equalities

sumserum

Sim-Serim clone as a browser game

zpub

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

tttool-nofib

Real-world nofib addition proposal

smime-smtp-proxy

motoko-scc

A Strongly Connected Components algorithm for Motoko

nt-coerce

Explicit newtype coercion lifting in Haskell

haskell-spacegoo

random-haskell-code

Generates random Haskell code based on some existing corpus of modules

parser-calledarityanalysis

Slowdown in Called arity analysis from GHC 8.0.2 to GHC 8.2.1

lean-constructions