timor's repositories

g-octave-db

g-Octave package database

Language:JavaScriptStargazers:1Issues:3Issues:0

maxima-symbolic-circuits

solving electronic circuits symbolically in maxima CAS

Language:Emacs LispStargazers:1Issues:4Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0
Language:FactorStargazers:0Issues:0Issues:0

chrat

Fork from the chrat system of Fages, Rodriguez, Martinez, see https://contraintes.inria.fr/~tmartine/chrat/

Stargazers:0Issues:0Issues:0

clasp

clasp Common Lisp environment

Language:C++Stargazers:0Issues:0Issues:0

couchdb-document

Couchdb document handler

Language:Emacs LispStargazers:0Issues:0Issues:0

fhdl

Synthesize Factor Quotations to Hardware

Language:FactorStargazers:0Issues:0Issues:0

latte-kernel

The (very) small kernel of the LaTTe proof assistant

Language:ClojureLicense:MITStargazers:0Issues:2Issues:0

link-hint.el

Pentadactyl-like Link Hinting in Emacs with Avy

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0

Marlin

Reprap FW with look ahead. SDcard and LCD support. It works on Gen6, Ultimaker, RAMPS and Sanguinololu

Language:CStargazers:0Issues:0Issues:0

Mendel90

A RepRap Mendel variant using sheets for the frame instead of rods

Language:OpenSCADStargazers:0Issues:0Issues:0

mfactor

leightweight factor implementation targeted at embedded systems

Language:HTMLLicense:UnlicenseStargazers:0Issues:0Issues:0

mfactor-stm32-discovery

example implementation using mfactor for stm32f4 discovery board

Language:CStargazers:0Issues:0Issues:0

nox

Tools to make nix nicer to use

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

ob-depends

allow org babel source blocks to depend on other source blocks

Language:Emacs LispStargazers:0Issues:0Issues:0

ob-ipython

org-babel integration with Jupyter for evaluation of (Python by default) code blocks

Language:Emacs LispStargazers:0Issues:0Issues:0

org-json

Conversion between org and json

Language:Emacs LispStargazers:0Issues:0Issues:0

quelpa

repo moved to framagit.org, please report issues there (see link) - Build and install your Emacs Lisp packages on-the-fly directly from source

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0

refgraph

Visualization of Scientific Reference Information

Language:TeXStargazers:0Issues:0Issues:0

riscv-card

An unofficial reference sheet for RISC-V, the free and libre ISA from UC Berkeley.

License:CC-BY-4.0Stargazers:0Issues:0Issues:0

rtk-primitives

rtk primitives 4th edition, tab-separated for e.g. anymemo

Stargazers:0Issues:2Issues:0

scrape-scholar

emacs-lisp tools for getting Google Scholar results

Language:Emacs LispLicense:UnlicenseStargazers:0Issues:0Issues:0

Slic3r

Open Source toolpath generator for 3D printers

Language:C++License:AGPL-3.0Stargazers:0Issues:0Issues:0

slic3r-gcode.el

Emacs mode for analyzing (verbose) gcode generated by Slic3r

Language:Emacs LispStargazers:0Issues:0Issues:0

Smoothieware

Modular, opensource, high performance G-code interpreter and CNC controller written in Object-Oriented C++

Language:C++License:GPL-3.0Stargazers:0Issues:2Issues:0

solarized-emacs

The Solarized colour theme, ported to Emacs.

Language:Emacs LispStargazers:0Issues:3Issues:0

spaceline

Powerline theme from Spacemacs

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:2Issues:0

zfs

ZFS on Linux - the official OpenZFS implementation for Linux.

Language:CLicense:NOASSERTIONStargazers:0Issues:3Issues:0