sbp/idris-bi

Stars
36
Rank 735,472 (Top 15 %)
Language Idris
Created over 7 years ago
Updated almost 4 years ago

sbp/idris-bi

sbp

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

Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq

phenny

gin

Git index file parser, using python3

hedgehog

Concise implementation of a lisp-like language for low-end and embedded devices

saxo

Quick and flexible irc bot, extensible in any language

tweetnacl-tools

Tools for using TweetNaCl

duxlot

Superseded by https://github.com/sbp/saxo

xoocycle

Xoocycle, a C90 implementation of the Xoodyak hash and AEAD construction

cadr

CADR Lisp Machine Simulator

cwm

CWM — A mirror of the W3C's Closed World Machine

octavo

Rich web editor in JavaScript, allowing WYSIWYG HTML5 editing

yosefk-forth

A FORTH using C as an intermediate language, by Yossi Kreinin.

jonesforth

JONESFORTH, by Richard W. M. Jones. Public domain software

lemacs

Archive of Lucid Emacs, containing all the releases from 19.0.00 to 19.10

fountain

Write an input stream to multiple output streams

mmm

Metamath Miscellanea!

simplesha3

Simple SHA-3 implementation that works in Python 2 and 3.

scalable

jQuery plugin for vector image scaling user interface controls

jot

Static website CMS using python

dic32

Data integrity checker

tangle

Checks the consistency of static websites

paginator

Creates isolated subpages within a webpage

self

funs

The picolisp of python.