joom/herbrand-prolog

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Haskell
License
MIT License
Created about 10 years ago
Updated almost 10 years ago

joom/herbrand-prolog

joom

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A pseudo-Prolog that tries to answer queries by building the least Herbrand model.

zor-yoldan-haskell

Turkish translation of Learn Haskell Fast and Hard by Yann Esposito.

hezarfen

a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features

latex-unicoder.vim

A plugin to type Unicode chars in Vim, using their LaTeX names.

vim-starter

Quick starter kit for Vim beginners.

Divan.hs

Ottoman Divan poetry vezin checker in Haskell!

WangsAlgorithm

A classical propositional theorem prover in Haskell, using Wang's Algorithm.

type.systems

joke page until I decide what to do with this domain name

turkish-deasciifier.vim

Vim plugin to use emres/turkish-deasciifier

dilacar

A rule-based machine translation system from Ottoman Turkish to Modern Turkish.

virtual-piano

Terminal based virtual piano in Haskell, with ncurses and Euterpea

proof-tree-builder

A web-based graphical proof assistant for LK and Hoare logic.

fuzzy

Fuzzy string search in Haskell

Guguk

Turkish NLP library in Haskell.

direct-reflection-for-free

using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell

regexp-agda

distributed-hash-table

A Haskell implementation of distributed hash tables with two-phase commit.

modal

Compilation of modal logic based functional language ML5 to JavaScript.

edit-time-tactics

Documents (TeX, slides, poster etc.) for my master's thesis, titled "Edit-Time Tactics in Idris", and the TyDe '18 paper, titled "Extensible Type-Directed Editing"

dilim

A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.

metaprogrammable-editor

Documents (TeX, slides etc.) and code for the editor side metaprogramming in Coq.

twitter-timeline-scraper

Scraper for Twitter embedded timelines.

turkish-deasciifier.hs

Haskell port of Deniz Yuret's Turkish deasciifier.

idris-microKanren

Simple microKanren implementation in Idris.

thesis-modal

TeX files of my thesis

civ

Civilization-like game in Haskell.

foma.hs

Simple Haskell bindings for Foma.

vimrc

my vim settings / plugins

connection-booster

Class project for COS561 with Prof. Jennifer Rexford: a Chrome app that calculates the optimal number of TCP parallel connections for maximum performance and loads in parallel.

matrix-challenge

Simple matrix determinant calculator in different programming languages

node-youtube2mp3

Node.js replica of YouTube to MP3 web apps.