Giters
Joshua Moerman (Jaxan)

Jaxan

Geek Repo

38

followers

54

following

113

stars

Company:Open Universiteit

Location:Utrecht

Home Page:https://joshuamoerman.nl

Twitter:@Jaxan_

Github PK Tool:Github PK Tool

Joshua Moerman's starred repositories

sparse-linear-algebra

Numerical computation in native Haskell

Language:HaskellLicense:GPL-3.0Stargazers:88Issues:0Issues:0

the-mlab

A wiki for collaborative work on totally legitimate "category theory"

Language:NearleyLicense:MITStargazers:97Issues:0Issues:0

llvm-hs-kaleidoscope

Kaleidoscope Tutorial using llvm-hs

Language:HaskellLicense:MITStargazers:80Issues:0Issues:0

inspection-testing

Inspection Testing for Haskell

Language:HaskellLicense:MITStargazers:171Issues:0Issues:0

ndpt

path tracing in n dimensions for C++

Language:C++Stargazers:1Issues:0Issues:0

Finite-Bags

Language:CoqStargazers:1Issues:0Issues:0

elm-collage

Create interactive vector graphics and position them relative to each other

Language:ElmLicense:BSD-3-ClauseStargazers:58Issues:0Issues:0

cka-tools

Tools for Concurrent Kleene Algebra

Language:PythonLicense:MITStargazers:1Issues:0Issues:0

TorXakis

A tool for Model Based Testing

Language:HaskellLicense:BSD-3-ClauseStargazers:47Issues:0Issues:0

ONS

Implementation of calculating with nominal sets through orbit representations.

Language:C++License:MITStargazers:1Issues:0Issues:0

cl

A simple, no-nonsense Clean project manager

Language:CrystalLicense:MITStargazers:1Issues:0Issues:0

idris-clean

A priliminary backend for Idris that compiles to Clean.

Language:IdrisLicense:MITStargazers:15Issues:0Issues:0

cloogle.org

This project has been moved to https://gitlab.com/cloogle/cloogle-web

Language:CleanLicense:MITStargazers:17Issues:0Issues:0

theses

Theses of Abraham and Bas Westerbaan

Language:TeXStargazers:4Issues:0Issues:0

nlambda

Nλ is a simple functional programming language aimed at manipulating infinite, but first-order definable structures, such as the countably infinite clique graph or the set of all intervals with rational endpoints.

Language:HaskellLicense:NOASSERTIONStargazers:11Issues:0Issues:0

superplan

Smart Planner in Python for Hackergames hackathon

Language:PythonLicense:NOASSERTIONStargazers:1Issues:0Issues:0

thesis

PhD thesis

Language:TeXStargazers:3Issues:0Issues:0

alex

Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automata learning

Language:JavaLicense:Apache-2.0Stargazers:34Issues:0Issues:0

automatark

Benchmark problems for different models of automata, transducers, and related logics

Language:JavaLicense:MITStargazers:28Issues:0Issues:0

plzoo

Programming Languages Zoo

Language:OCamlLicense:MITStargazers:1433Issues:0Issues:0

HaskellSpriteKit

Haskell binding to Apple's SpriteKit framework

Language:HaskellLicense:NOASSERTIONStargazers:173Issues:0Issues:0

cellularAutomata

a collection of cellular automata written in Haskell with Diagrams

Language:HaskellLicense:BSD-3-ClauseStargazers:181Issues:0Issues:0

profiteur

Visualiser for Haskell (GHC) prof files

Language:JavaScriptLicense:NOASSERTIONStargazers:188Issues:0Issues:0

letsencrypt-nginx-tiny

A collection of instructions and bash scripts to maintain letsencrypt on a server

Language:ShellStargazers:2Issues:0Issues:0

domjudge

DOMjudge programming contest jury system

Language:PHPLicense:GPL-2.0Stargazers:700Issues:0Issues:0

paul

Commandline interface for Supermarx

Language:C++License:BSD-3-ClauseStargazers:1Issues:0Issues:0

course

Source code for the applications presented in the course "Geometry Processing with Discrete Exterior Calculus"

Language:C++Stargazers:525Issues:0Issues:0

SuperMarx

Every SuperMarx related project working together

Language:CMakeLicense:MITStargazers:2Issues:0Issues:0

containers

Some code regarding (generalised) containers

Language:AgdaStargazers:1Issues:0Issues:0

fr_public

Farbrausch demo tools 2001-2011

Language:C++Stargazers:3350Issues:0Issues:0