timjb Goto Github PK
Name: Tim Baumann
Type: User
Company: @TNG Technology Consulting GmbH
Bio: Interested in type theory, category theory and concurrent collaborative editing.
Location: Augsburg, Europe
Blog: timbaumann.info
Name: Tim Baumann
Type: User
Company: @TNG Technology Consulting GmbH
Bio: Interested in type theory, category theory and concurrent collaborative editing.
Location: Augsburg, Europe
Blog: timbaumann.info
[OBSOLETE] Haskell JSON schema validator and parser generator
The best JavaScript Data Table for building Enterprise Applications. Supports React / Angular / Vue / Plain JavaScript.
Exercise sheets for several courses on Algebra
[OBSOLETE] CSS-Hack to get cross-browser semi-transparent backgrounds
A Java architecture test library, to specify and assert architecture rules in plain Java
A Haskell to WebAssembly compiler
Support for viewing PDF files in Atom.
Der Satz von Serre über die Endlichkeit der Homotopiegruppen der Sphären (Bachelorarbeit)
The sources for my blog.
The contents of ocharles.org.uk/blog
A textbook on informal homotopy type theory
A formalization of category theory in Coq for personal study and practical work
In-browser code editor
Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
[UNMAINTAINED] HSL based color picker.
I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.
🌶 🍛 Our Website
The DAML smart contract language
Data Manipulation and Graph Persistence for Node.js and the Browser
The repository for high quality TypeScript type definitions.
Haskell library for drawing the Rubik's Cube
A DSL for deep neural networks, supporting Caffe and Torch
Dockerfile for a Seafile 3 image
🐙 Simple and complete DOM testing utilities that encourage good testing practices.
My config files.
The beginnings of a Dropbox API for Haskell (unofficial).
Examples of Dependently-typed programs in Haskell
Functors, Applicatives, Traversables etc. of kind (k -> *) -> *
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.