mcs0042's Stars
doomemacs/doomemacs
An Emacs framework for the stubborn martian hacker
jgm/pandoc
Universal markup converter
zeddo123/Quotefetch
displays a random quote when opening a terminal
clcarwin/convert_torch_to_pytorch
Convert torch t7 model to pytorch model and source.
abisee/pointer-generator
Code for the ACL 2017 paper "Get To The Point: Summarization with Pointer-Generator Networks"
kimiyoung/transformer-xl
octobanana/fltrdr
A TUI text reader for the terminal.
ffwff/qshell
a simple desktop shell based on Qt5 and KF5
mirage/mirage
MirageOS is a library operating system that constructs unikernels
fricas/fricas
Official repository of the FriCAS computer algebra system
openstenoproject/plover
Open source stenotype engine
sminez/plan9port
Plan 9 from User Space
elenapan/dotfiles
There is no place like ~/
evilsocket/opensnitch
OpenSnitch is a GNU/Linux interactive application firewall inspired by Little Snitch.
agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
unisonweb/unison
A friendly programming language from the future
geotopmodel/geotop
GEOtop is a distributed model of the mass and energy balance of the hydrological cycle, which is applicable to simulations in continuum in small catchments. GEOtop deals with the effects of topography on the interaction between energy balance and hydrological cycle with peculiar solutions.
upspin/upspin
Upspin: A framework for naming everyone's everything.
qutebrowser/qutebrowser
A keyboard-driven, vim-like browser based on Python and Qt.
deviantfero/wpgtk
:flower_playing_cards: a colorscheme, wallpaper and template manager for *nix
moamenk/Firefox-Minimal-Responsive-Theme
Tweaks for Firefox for a cool "contextual" UI that only shows minimal info unless otherwise required
buffet/kiwmi
A fully programmable Wayland Compositor
numenta/nupic-legacy
Numenta Platform for Intelligent Computing is an implementation of Hierarchical Temporal Memory (HTM), a theory of intelligence based strictly on the neuroscience of the neocortex.
dunst-project/dunst
Lightweight and customizable notification daemon
texmacs/texmacs
Source Code of GNU TeXmacs, Developers Guide ==>
baskerville/bspwm
A tiling window manager based on binary space partitioning
UniMath/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
9fans/plan9port
Plan 9 from User Space
jtdaugherty/brick
A declarative Unix terminal UI library written in Haskell
pazz/alot
Terminal-based Mail User Agent