• Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language
    C
  • License
    GNU General Publi...
  • Created over 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

A small kernel + OS based on how dreams work

More Repositories

1

diagnose

A simple library for reporting compiler/interpreter errors
Haskell
255
star
2

nihil

Nihil, a statically typed interpreted functional programming language
Haskell
68
star
3

snowstar

Here lies the code for the Snow* programming language, currently being rewritten.
C++
33
star
4

hm-defense

A work-in-progress rewrite from scratch of the old iOS game "Heavy MACH: Defense"
Kotlin
30
star
5

jellyvm

A VM written following the Linear Abstract Machine architecture
Haskell
22
star
6

HaSM

An assembly language EDSL for Haskell, compiling into opcodes
Haskell
11
star
7

coqide.kak

A fully-fledged CoqIDE-like experience for Kakoune
Rust
7
star
8

amethyst

A simple concatenative programming language
Haskell
6
star
9

bfhs

bf.hs, a small BrainFuck interpreter written in Haskell
Haskell
5
star
10

snowstar_old

Snow* was an old ASM-like language running on its own VM. It has not been updated since 1 year and will probably never again.
C++
5
star
11

snowstar-lang

This project is the `Snow*` "official" website.
CSS
4
star
12

nix-config

My home-manager config, for Nix/NixOS
Nix
4
star
13

paranet

Paranet is a little esoteric language runtime based on distributed computation.
Haskell
4
star
14

diagnose4j

A port of my Diagnose library for Java
Java
4
star
15

mini-noc

Playing around with very unsafe Haskell code
Haskell
3
star
16

blobot

A discord bot for running some blob code
Rust
2
star
17

snowstar-vscode

Syntax highlighter for Visual Studio Code for the Snow* programming language
2
star
18

isabelle.nix

Defines a Nix flake for Isabelle 2022
Nix
1
star
19

pixie

A simple, yet powerful, imperative language with a FFI
Haskell
1
star
20

tinyraytracer

A non-official fork of https://github.com/ssloy/tinyraytracer where the end goal is to add various stuff as a homework
C++
1
star