janbessai Goto Github PK

anencoding

ANEncoding using AspectC++

approximate-refinement

bcd

braga-cost

Exploration of Cost Models for the Braga Method

catloader

Shows Pictures from Wikimedia

dirdiff

Difference on Directories

ecoop-coco-presentation

Presentation of the CoCo Design Pattern @ ECOOP

ecoop2021artifacts

Artifacts for ECOOP2021 CoCo Submission

epandfeatherweightcalculi

fromrecord

fsharp.formatting

F# tools for generating documentation (Markdown processor and F# code formatter)

fsunit

FsUnit makes unit-testing with F# more enjoyable. It adds a special syntax to your favorite .NET testing framework.

fwlj

gnutest

Test _GNU_SOURCE with qtcreator

headertool

A mozilla firefox plugin for changing HTTP headers

hertzlichst

An experiment with functional music composition based on just one tone

hsos

Run structural operational semantics as a compiler or interpreter

idris-dev

A Dependently Typed Functional Programming Language

idris-tutorial

A tutorial to the Idris Programming Language.

inhab-akka

Inhabitation of Simply Typed Lambda Calculus using Akka

jack2

jack2 codebase

janbessai.github.com

javaparser

Java 1.8 Parser and Abstract Syntax Tree for Java –

lambdaexpressionparser

A small demo of how to parse lambda expressions with Antlr4

language-java

Java parser and printer for haskell

liftablegeneric

Generic Quasi Quoting

monoid-error

Error Monad + Monoid

nixpkgs

Nix Packages collection

openwithhack

Allows using any application you like for opening files in Gnome

sbt-antlr4