scolobb Goto Github PK

brsim

A Basic Reaction System Simulator.

computing-devices

Definitions of some basic computing devices.

covid-p-models

P system models of COVID-19 propagation designed by the students of the course on mebrane computing.

dotfiles

The configuration files in my home directory.

emacs-ob-racket

Emacs Org-Mode Babel code block Racket support

f12

f12 is a script that focuses or unfocuses a terminal window when invoked. It received its name by analogy with Yakuake, which, by default, is shown hidden when F12 is pressed.

fgl

A Functional Graph Library for Haskell

filter

The filter of static translator stacks for nsmux.

filterfs

A GNU/Hurd translator that filters the contents of the directory it is set upon according to the result of execution of a given command.

graph

Generic graph library and algorithms for Racket.

graphs

a monadic graph library

haskell-lockfree-queue

A collection of different packages for CAS based data structures.

nixpkgs

Nix Packages collection

nsmux

A GNU/Hurd translator which provides dynamic namespace-based translator selection.

pruebas

racket

The Racket repository

racket-mode

GNU Emacs major modes for Racket: Edit and REPL.

random-fu

A suite of Haskell libraries for representing, manipulating, and sampling random variables

rawide

(not) An IDE that goes straight to the point

sympy

A computer algebra system written in pure Python

sympy-paper

Paper for SymPy

typed-racket

Typed Racket

typed-racket-stream

streams for typed racket

unionmount

This project implements VFS-style Union-mounts under GNU/Hurd.

yodabox

Yodabox Backup Tool 0.0