Pinned Repositories
2010flood
GEMT 2010 flood problem
podio-py
Podio Python client
pycloudapp
A wrapper around CloudApp API
sublime-GF
thmgl11
saludes's Repositories
saludes/thmgl11
saludes/2010flood
GEMT 2010 flood problem
saludes/podio-py
Podio Python client
saludes/pycloudapp
A wrapper around CloudApp API
saludes/sublime-GF
saludes/AceWiki
AceWiki is a semantic wiki based on controlled natural language.
saludes/covid-19-data
Data scrapped from the Generalitat website
saludes/examens-python
saludes/FactCheck.jl
Midje-like testing for Julia
saludes/GF
GF, Grammatical Framework, is a programming language for multilingual grammar applications. This is a mirror of the darcs repository.
saludes/gf-contrib
Community contributions to the Grammatical Framework
saludes/gf-rgl
Grammatical Framework's Resource Grammar Library (RGL)
saludes/gf-xcode-coloring
GF coloring for GF module files
saludes/guia-latex-cat
Una guia per començar a usar LaTeX en català
saludes/haskell-couchdb
Haskell bindings for CouchDB
saludes/homebrew
The missing package manager for OS X.
saludes/Intervals.jl
A pure Julia reimplementation of MPFI, a multiple precision interval arithmetic library
saludes/Kind
A modern proof language
saludes/latexcat
saludes/learnlatex.github.io
Learn LaTeX online
saludes/mathbook
MathBook XML
saludes/package_control_channel
Default channel file for Package Control. Follow the directions at:
saludes/pontifex
A Racket implementation for the Solitaire/Pontifex pseudorandom generator
saludes/racket-mode
GNU Emacs major modes for Racket: Edit and REPL.
saludes/reals
Real defined by boxed intervals
saludes/rvot
saludes/scribble-math
Integration of MathJax, KaTeX and Asymptote with scribble, to typeset math in Racket documentation
saludes/Trolly
A Python wrapper around the Trello API. Provides a group of Python classes to represent Trello Objects. All classes come with basic Trello API method calls and are easily extensible to suit your needs. See the README for more details.