Structured concurrency in C

A vi-like editor based on Plan 9's structural regular expressions

Software Foundations in Idris

Curses bindings package for Idris

Packages that are inappropriate for upstream Guix

This repository contains curated code written in Red and its dialects.

Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and c…

A bunch of exercises in Linux/UNIX C programming.

Shitty Compilers (scheme, julia, c)

A book-in-progress about the Linux kernel and its insides.

Lisp macros for C

List of Science courses with video lectures

List of Computer Science courses with video lectures.

An open peer review site for arXiv preprints

Julia kernel for Jupyter

An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

vim mode for editing metamath files

DEPRECATED: Use dataloader

Starter Hugo theme for use as a template for building custom themes

Node.js binding for lmdb

sxc is an 'S-Expression C' transpiler for generating C code using macros written in Common Lisp

A boilerplate for playing around with react, redux and react-router with the help of webpack.

Idris mode for vim

A Dependently Typed Functional Programming Language

SDL2 Bindings for the Idris programming language

An attempt at writing C libraries in Rust that can be called from Idris

SDL bindings package for idris

Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐

Mail-in-a-Box helps individuals take back control of their email by defining a one-click, easy-to-deploy SMTP+everything else server: a mail server in a box.