odanoburu

[...]

rio

Pinned Repositories

gf-rgl
Grammatical Framework's Resource Grammar Library (RGL)
Language:Grammatical Framework52 13 3851
conllu-mode
CoNLL-U major mode for emacs
Language:Emacs Lisp10 3 182
docker-gf
docker images for Grammatical Framework.
Language:Dockerfile1 1 00
formidable
(another) system F implementation
Language:Haskell0 2 90
logica-tpc
Writing the queries of the TPC-H benchmark using Logica.
Language:Lex1 2 00
passle
hassle-free password management
Language:Python1 2 00
polydoro
simple and extensible pomodoro timer
Language:Emacs Lisp2 2 00
turtle-ts-mode
Language:Emacs Lisp0 2 00
ursula
capítulos do romance "Ursula", de Maria Firmina dos Reis (1859).
Language:CSS3 2 12

odanoburu's Repositories

odanoburu/conllu-mode
CoNLL-U major mode for emacs
Language:Emacs Lisp10 3 182
odanoburu/polydoro
simple and extensible pomodoro timer
Language:Emacs Lisp2 2 00
odanoburu/docker-gf
docker images for Grammatical Framework.
Language:Dockerfile1 1 00
odanoburu/passle
hassle-free password management
Language:Python1 2 00
odanoburu/ACE-in-GF
Attempto Controlled English in Grammatical Framework
Language:Grammatical Framework
odanoburu/alert
A Growl-like alerts notifier for Emacs
Language:Emacs Lisp
odanoburu/awesome-cl
A curated list of awesome Common Lisp frameworks, libraries and other shiny stuff.
Language:Makefile
odanoburu/cargo-crev
A cryptographically verifiable code review system for the cargo (Rust) package manager.
Language:Rust0 0
odanoburu/cl-conllu
tool for working with conllu files in CL
Language:Common Lisp
odanoburu/cl-wnbrowser
A collaborative editor for OpenWordnet-PT.
Language:HTML0 0
odanoburu/english-wordnet
The Open English WordNet
Language:Python
odanoburu/gf-core
Grammatical Framework core: compiler, shell & runtimes
Language:C1 0
odanoburu/gf-matrix
MRS test suite in GF
Language:Grammatical Framework0 0
odanoburu/gf-summerschool-2018
GF Summer School 2018 in Stellenbosch
Language:Grammatical Framework
odanoburu/gf-wordnet
A WordNet in GF
Language:Grammatical Framework
odanoburu/gf_kernel
A Jupyter Kernel for GF
Language:JavaScript0 0
odanoburu/gfss2018-presentation
odanoburu/gftest
Automatic test case generation for GF grammars
Language:Haskell
odanoburu/GraphProver
A graph based theorem prover
Language:Lua0 0
odanoburu/hasbolt
Haskell driver for Neo4j 3+ (BOLT protocol)
Language:Haskell1 0
odanoburu/lispy
Short and sweet LISP editing
Language:Emacs Lisp
odanoburu/logic_and_proof
CMU Undergrad Course
Language:TeX
odanoburu/my-website
odanoburu/plfa.github.io
Introduction to programming language theory in Agda
Language:Agda1 0
odanoburu/pollen-mode
An Emacs major mode for editing in pollen markup language
Language:Emacs Lisp1 0
odanoburu/racket-benchmark
racket benchmarking library
Language:Racket
odanoburu/racket-mode
GNU Emacs major modes for Racket: Edit and REPL.
Language:Emacs Lisp0 0
odanoburu/rdflib
RDFLib is a Python library for working with RDF, a simple yet powerful language for representing information.
Language:Python
odanoburu/tools
Various utilities for processing the data.
Language:Python
odanoburu/wide-coverage
Wide Coverage Translator
Language:Grammatical Framework