Skip to content
Pro
Block or report user

Report or block squell

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
Block or report user

Report or block squell

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

A benchmark for C program verification

C 4 1 Updated May 17, 2019

Web framework in Bash

Shell 695 20 Updated Apr 14, 2019
C 5 4 Updated Oct 22, 2018
Python 2 Updated Jun 29, 2018

A priliminary backend for Idris that compiles to Clean.

Idris 10 Updated Apr 3, 2017

Vim plugin for Blackboard feedback files (see squell/bb-scripts).

Vim script 1 Updated Mar 15, 2017

"Edit" mp3 files with Vim, or rather, their ID3 tags

Vim script 18 Updated Dec 4, 2016

simavr is a lean, mean and hackable AVR simulator for linux & OSX

C 908 237 Updated Jan 13, 2020

Micro controller simulator, written in D. Focusses on benchmarking algorithms

Assembly 2 Updated Mar 2, 2017

The Python error steamroller.

Python 3,660 145 Updated Jan 3, 2019

ID3 mass tagger

C++ 73 6 Updated Jul 6, 2018
You can’t perform that action at this time.