saludes

thmgl11

2010flood

GEMT 2010 flood problem

podio-py

Podio Python client

pycloudapp

A wrapper around CloudApp API

sublime-GF

AceWiki

AceWiki is a semantic wiki based on controlled natural language.

covid-19-data

Data scrapped from the Generalitat website

examens-python

FactCheck.jl

Midje-like testing for Julia

GF

GF, Grammatical Framework, is a programming language for multilingual grammar applications. This is a mirror of the darcs repository.

gf-contrib

Community contributions to the Grammatical Framework

gf-rgl

Grammatical Framework's Resource Grammar Library (RGL)

gf-xcode-coloring

GF coloring for GF module files

guia-latex-cat

Una guia per començar a usar LaTeX en català

haskell-couchdb

Haskell bindings for CouchDB

homebrew

The missing package manager for OS X.

Intervals.jl

A pure Julia reimplementation of MPFI, a multiple precision interval arithmetic library

Kind

A modern proof language

latexcat

learnlatex.github.io

Learn LaTeX online

mathbook

MathBook XML

package_control_channel

Default channel file for Package Control. Follow the directions at:

pontifex

A Racket implementation for the Solitaire/Pontifex pseudorandom generator

racket-mode

GNU Emacs major modes for Racket: Edit and REPL.

reals

Real defined by boxed intervals

rvot

scribble-math

Integration of MathJax, KaTeX and Asymptote with scribble, to typeset math in Racket documentation

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.