daherb
Computational Linguist, Research Engineer at Språkbanken Text, University of Gothenburg
Språkbanken TextGothenburg, Sweden
Pinned Repositories
Agda-Montague
Attempt to formalize the Montague languages as described in Dowty, Wall, Peters in Agda
collatz
Implementation of the collatz conjecture in (obscure) programming languages
Gallery
Simple Haskell script go generate HTML galleries
GF-Dependent-Types
Some examples for dependent types in GF
GF-for-Python-programmers
A tutorial that tries to explains concepts of the Grammatical Framework in a way familiar for Python programmers
GF-latin
The latin grammar for the Grammatical Framework RGL (now deprecated), see instead
GF-loves-food
Simple twitter bot that tweets about very italian food and ather stuff in various languages (powered by www.grammaticalframework.org)
GitTutorial
A quick tutorial for the Computational Syntax class
invenio-previewer-cmdi
A previewer for CMDI files in Invenio RDM
PVM-Silben
Parallel Map-Reduce program to split words in syllables
daherb's Repositories
daherb/GF-latin
The latin grammar for the Grammatical Framework RGL (now deprecated), see instead
daherb/PVM-Silben
Parallel Map-Reduce program to split words in syllables
daherb/Haskell-Muste
daherb/Chabotty
Small chatbot written in CLisp
daherb/coq-course
Coq course at Chalmers CSE
daherb/examples
Aceto code examples. Pull requests welcome!
daherb/generalized-leftcorner
Simple generalized leftcorner parser written in Prolog
daherb/gentoo-haskell
official gentoo haskell overlay
daherb/GF
GF git mirror
daherb/gf-contrib
Community contributions to the Grammatical Framework
daherb/gf-rgl
Grammatical Framework's Resource Grammar Library (RGL)
daherb/Kreis-Kugel
Trying to find a way to place points with equal distance onto a circle/sphere
daherb/latin-dict-words
A large-scale dictionary for the GF Latin grammar
daherb/mini-bar
MiniResource grammar for Bavarian
daherb/mini-epo
Mini resource grammar for esperanto
daherb/mulle-grammar-tools
This is a collection of tools to work with grammars that can be used with the MULLE system
daherb/muste
Tools and demos for MUSTE: MUltimodal Semantic Text Editing
daherb/perlgps
Simple application to show gps status from gpsd
daherb/pgf-stats
daherb/Prolog-Grammar
A simple grammar for a few english senetences in Prolog
daherb/PVM-PI-Montecarlo
A small PVM3 demo computing pi with the Montecarlo method in multiple threads (on the network)
daherb/Segment
Ruby project for image segmentation
daherb/Silben
A program to compute german syllables from google 1-gram list
daherb/Silben-data
Some data for the Silben programs
daherb/SimpleIRC
IRC Library for Haskell
daherb/Suchmaschine
Simple search engine for a computational linguistics class
daherb/tidal-midi
This package and method of using MIDI in Tidal is obsolete. Please use SuperDirt MIDI instead.
daherb/Unicode
Ruby Script to create a table of all Unicode characters
daherb/WordList
Some simple C++ utils to workl with word lists and sets
daherb/YampaSample
Attempt to get into FRP, currently not succesful