Pinned Repositories
auctex
**Unofficial** mirror of AUCTeX git repository (not regularly updated). Do **not** send pull requests here, send patches to the auctex-devel mailing list instead (see https://lists.gnu.org/mailman/listinfo/auctex-devel). To clone the official AUCTeX git repository see
company-math
Completion back-ends for for math unicode symbols and latex tags
compiler-warnings
A list of compiler warning flags for different GCC and clang versions
DM565-FLDP
Exercises for the class of Formal Languages and Data Processing 2021
docs
The Jolie Documentation files
emi-benchmark
fi-tests
Transport layer with libfabric
G3D-Project
Project for the Interactive 3D course
haskell-mode
Emacs mode for Haskell
homebrew
:beer: The missing package manager for OS X.
xpicox's Repositories
xpicox/auctex
**Unofficial** mirror of AUCTeX git repository (not regularly updated). Do **not** send pull requests here, send patches to the auctex-devel mailing list instead (see https://lists.gnu.org/mailman/listinfo/auctex-devel). To clone the official AUCTeX git repository see
xpicox/company-math
Completion back-ends for for math unicode symbols and latex tags
xpicox/compiler-warnings
A list of compiler warning flags for different GCC and clang versions
xpicox/DM565-FLDP
Exercises for the class of Formal Languages and Data Processing 2021
xpicox/docs
The Jolie Documentation files
xpicox/emi-benchmark
xpicox/fi-tests
Transport layer with libfabric
xpicox/G3D-Project
Project for the Interactive 3D course
xpicox/haskell-mode
Emacs mode for Haskell
xpicox/homebrew
:beer: The missing package manager for OS X.
xpicox/jolie
The Jolie programming language
xpicox/JSDT
Java Services Development Tools
xpicox/libegit2
Emacs bindings for libgit2
xpicox/ocmesh
Library for hexahedral mesh generation from a CSG description
xpicox/OTM
xpicox/phg
A simple script to generate an useful header with some macros commonly used throughout my projects
xpicox/pi-forall
A demo implementation of a simple dependently-typed language
xpicox/release_tools
Release Tools
xpicox/Tesi
xpicox/xpicox.github.io