siraben/freenode-exodus siraben/freenode-exodus

  • This repository has been archived on 26/Jun/2022
  • Stars
    star
    135
  • Rank 269,297 (Top 6 %)
  • Language
    Haskell
  • License
    MIT License
  • Created over 3 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
siraben/freenode-exodus
github

siraben

Reviews

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

Repository Details

Projects and channels that have decided to leave Freenode. (Final leave count: 1056)

Projects and channels that have decided to leave Freenode

Check

Freenode is dead. Long live Libera! This repository is no longer being updated.

This is an ongoing list of projects and channels that have decided to permanently move out of Freenode to https://libera.chat (unless stated otherwise). Please open an issue, PR or PM me on IRC (siraben) if there's additions or corrections, such as adding citation links.

Note: I can only accept additional projects and channels to the list accompanied with a citation, which can be (but is not limited to): an official announcement, wiki page, git commit, IRC log, social media post by project lead/official account, etc.

More Repositories

1

zkeme80

An assembler and operating system for the TI-84+ written in Scheme, Forth and Z80 assembly.
Scheme
228
star
2

ti84-forth

A Forth implementation for the TI-84+ calculator.
Assembly
86
star
3

mini-haskell

A self-hosting mini Haskell compiler with a mini C runtime.
Haskell
70
star
4

fp-notes

Notes on Functional Programming and related topics
Haskell
28
star
5

heptapod-diffusion

Generating Heptapod writing with Stable Diffusion
25
star
6

r216-forth

A Forth implementation for the R216K8B Powder Toy computer.
Assembly
24
star
7

dotfiles

A collection of my dotfiles
Emacs Lisp
23
star
8

nix-sudoku

Sudoku solver in Nix
Nix
22
star
9

r5rs-denot

A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
Haskell
20
star
10

meta-yacc

Self-hosting parser generators in Forth and C.
Forth
18
star
11

meta-II

META II compiler, assembler and bytecode interpreter.
TeX
17
star
12

eopl

Implementation of the languages from the EOPL textbook in Haskell and Standard ML.
Haskell
15
star
13

awk-vm

A virtual machine and assembler written in AWK.
Awk
13
star
14

evm-assembler

No-dependencies assembler for the EVM with examples (Ξ»-calculus, linked lists, etc.)
Python
13
star
15

haoc-2020

Haskell Advent of Code 2020
Haskell
8
star
16

monadic-parsing

Monadic parsing in Scheme.
Scheme
8
star
17

coq-wigderson

Formalization of Wigderson's graph coloring algorithm in Coq
Coq
8
star
18

tree-sitter-promela

Promela grammar for tree-sitter
C
7
star
19

hasktran

A compiler for FRACTRAN written in Haskell.
Haskell
7
star
20

haoc-2021

Haskell Advent of Code 2021
Haskell
7
star
21

ts-lint-example

Minimal linting example with tree-sitter
JavaScript
6
star
22

nix-workshop

Outline for a workshop on Nix, to be given sometime in the 2020-2021 academic calendar.
6
star
23

mes-overlay

Nix overlay for MES-related packages
Nix
6
star
24

wordle

Wordle solver
Haskell
5
star
25

emotivoice-cli

CLI wrapper around Emotivoice TTS Synthesis
JavaScript
5
star
26

sicp-to-z80

A SICP register machine to TI-84 Z80 compiler.
Scheme
4
star
27

lisp-to-js

Compiling Lisp to JavaScript
Haskell
4
star
28

bf

Fast, simple brainfuck interpreter in C
C
4
star
29

tree-sitter-imp

Imp grammar for tree-sitter
C
4
star
30

scheme-to-c

A toy Scheme to C compiler
Scheme
3
star
31

brownies

This a game I hacked together with Biwascheme.
HTML
3
star
32

tree-sitter-formula

Formula grammar for tree-sitter
C
3
star
33

nix-challenges

Increasingly difficult building challenges in Nix with solutions
Nix
3
star
34

vpl

VPL (Visual Programming Language) is an educational Turtle language using Haskell and Gloss
Haskell
3
star
35

website

My website
Nix
2
star
36

siraben-overlay

@siraben's eclectic collection of software
Nix
2
star
37

remarkable-hello

Example of compiling Rust to a static ARM executable. Target here is the reMarkable tablet.
Nix
2
star
38

senior-thesis

LaTeX sources for my undergraduate thesis
TeX
2
star
39

llama-bot

Discord bot for interacting with the LLaMA language model
Python
2
star
40

knightos-nix

Compiling KnightOS end-to-end using Nix
Nix
1
star
41

coq-rings

Ring Theory in Coq from Scratch
Coq
1
star
42

proplogic

Exploration of theorems in propositional logic in Coq
Coq
1
star
43

functional-images

Replicating the Functional Images paper by Conal Elliott using Haskell, C and SDL2.
Haskell
1
star
44

linear-lc

A typechecker for linear lambda calculus.
Haskell
1
star
45

vu-catalog

Fetch and parse Vanderbilt course information
Python
1
star
46

ti84-forthos

A Forth-based OS for the TI-84+ calculator. Now succeeded by https://github.com/siraben/zkeme80
Assembly
1
star