Giters
Alexander Faithfull (ale-f)

ale-f

Geek Repo

13

followers

0

following

3

stars

Company:Magenta ApS

Location:Copenhagen, Denmark

Home Page:https://ajf.fyi/

Github PK Tool:Github PK Tool

Alexander Faithfull's repositories

big-red

A graphical development environment for bigraphs, built upon Eclipse.

Language:JavaStargazers:9Issues:5Issues:0

bigmc

Bigraphical Model Checker

Language:C++License:GPL-3.0Stargazers:1Issues:2Issues:0

ale-f.github.io

Webs (internet)

Language:HTMLStargazers:0Issues:2Issues:0

ann-benchmarks

Benchmarks of approximate nearest neighbor libraries in Python

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

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:2Issues:0

event-log-utilities

XES event log manipulation tool

Language:PythonStargazers:0Issues:2Issues:0

mih

Fast exact nearest neighbor search in Hamming distance on binary codes with Multi-index hashing

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0