Mesabloo/nix-config

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Nix
Created over 4 years ago
Updated over 1 year ago

Mesabloo/nix-config

Mesabloo

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

My home-manager config, for Nix/NixOS

diagnose

A simple library for reporting compiler/interpreter errors

nihil

Nihil, a statically typed interpreted functional programming language

snowstar

Here lies the code for the Snow* programming language, currently being rewritten.

hm-defense

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

jellyvm

A VM written following the Linear Abstract Machine architecture

HaSM

An assembly language EDSL for Haskell, compiling into opcodes

oneiric

A small kernel + OS based on how dreams work

coqide.kak

A fully-fledged CoqIDE-like experience for Kakoune

amethyst

A simple concatenative programming language

bfhs

bf.hs, a small BrainFuck interpreter written in Haskell

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.

snowstar-lang

This project is the `Snow*` "official" website.

paranet

Paranet is a little esoteric language runtime based on distributed computation.

diagnose4j

A port of my Diagnose library for Java

mini-noc

Playing around with very unsafe Haskell code

blobot

A discord bot for running some blob code

snowstar-vscode

Syntax highlighter for Visual Studio Code for the Snow* programming language

isabelle.nix

Defines a Nix flake for Isabelle 2022

pixie

A simple, yet powerful, imperative language with a FFI

tinyraytracer

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