Martin Leinberger's repositories
101repo
Implementations belonging to the 101companies project
Language:PHP000
Language:Python000
Language:F#000
Language:C#000
fulluntyped
Fun with lambda calculus
Language:F#000
GAIAXServiceSelfDescriptions
A collection of all GAIA-X self-descriptions of the services developed in the BMBF project FAIR-DS.
Apache-2.0000
Homepage
My personal homepage - http://martinleinberger.com
Language:HTML000
linkedData
A repository used for my experiments with LinkedData
Language:Java000
Minimal-Startpage-with-weather
Minimal Startpage with weather
Language:HTMLGPL-3.0000
Language:F#000
react-flow
Highly customizable library for building interactive node-based UIs, editors, flow charts and diagrams
MIT000
Language:JavaScript000
SemCompleteGH
A project to visualize source code into an equivalent semantic representation
Tokenization
some tests with tokenization
typeProviderLib
Type provider for the 101companies 101explorer