Pinned Repositories
gf-rgl
Grammatical Framework's Resource Grammar Library (RGL)
conllu-mode
CoNLL-U major mode for emacs
docker-gf
docker images for Grammatical Framework.
formidable
(another) system F implementation
logica-tpc
Writing the queries of the TPC-H benchmark using Logica.
passle
hassle-free password management
polydoro
simple and extensible pomodoro timer
turtle-ts-mode
ursula
capítulos do romance "Ursula", de Maria Firmina dos Reis (1859).
odanoburu's Repositories
odanoburu/lean4-computability
odanoburu/logica-tpc
Writing the queries of the TPC-H benchmark using Logica.
odanoburu/formidable
(another) system F implementation
odanoburu/turtle-ts-mode
odanoburu/AnApiOfIceAndFire
An API of Ice And Fire is the world's greatest source for quantified and structured data from the universe of Ice and Fire (as well as the HBO series Game of Thrones).
odanoburu/cookbook-pollen
📘🌼 A bunch of Pollen recipes
odanoburu/discreet-launcher
Enjoy a clean home screen while accessing everything in an instant! (Profitez d'un écran d'accueil épuré tout en accédant à tout en un instant !)
odanoburu/eglot
A client for Language Server Protocol servers
odanoburu/elm-bridge
Haskell: Derive Elm types from Haskell types
odanoburu/elm-mode
Elm mode for emacs
odanoburu/emacs-from-scratch
An example of a fully custom Emacs configuration developed live on YouTube!
odanoburu/gf-rgl
Grammatical Framework's Resource Grammar Library (RGL)
odanoburu/hedisgraph
odanoburu/lean4
Lean 4 programming language and theorem prover
odanoburu/lecture-datascience.myst
Source repository for QuantEcon Datascience
odanoburu/logica
Logica is a logic programming language that compiles to StandardSQL and runs on Google BigQuery.
odanoburu/LuaLS.github.io
Statically generated website for LuaLS using Astro.
odanoburu/mosaics
odanoburu/mozc
Mozc - a Japanese Input Method Editor designed for multi-platform
odanoburu/n4js.el
neo4j shell for emacs
odanoburu/nyxt
Nyxt - the Internet on your terms.
odanoburu/odanoburu.github.io
my personal website @
odanoburu/petri-on-petri
odanoburu/plfl
Programming Language Foundations in Lean
odanoburu/quad
document processor in Racket
odanoburu/RedisGraph
A graph database as a Redis module
odanoburu/tecmf.github.io
odanoburu/tsugite
This is the repository of a Tsugite. It is a research prototype of an interactive software that supports the design and fabrication of wood joints.
odanoburu/wesnoth
An open source, turn-based strategy game with a high fantasy theme.
odanoburu/zolt-3D