just-max Goto Github PK
Name: Max Lang
Type: User
Bio: 99 Luftballons
Location: Munich
Blog: site.maxthomaslang.de
Name: Max Lang
Type: User
Bio: 99 Luftballons
Location: Munich
Blog: site.maxthomaslang.de
Multiline lambda expressions for Python.
Glebe's Reach For The Top team's secret sauce. The reason our trivia nights are so good.
Extensions for the Cinnamon desktop
An especially excellent font.
Static analysis framework for C (development fork)
C Intermediate Language
Goblint XML result to HTML converter (development fork)
Haskell-like typeclasses as ML Structures (for Isabelle)
Polynomial-time reductions in Isabelle/HOL (development fork)
Python Bot fΓΌr Discord
Framework for sandboxed testing of OCaml code.
Examples for the Less Power programming exercise framework for OCaml.
Artemis - Interactive Learning with Automated Feedback (development fork)
The official OCaml website (development fork).
something something owo
Template for creating and building JUnit tests for a programming course.
A list featuring some tutors of the TUM course "Praktikum Grundlagen der Programmierung"
Asyncio-compatible client for the KeePassXC browser protocol.
Lecture streaming service of the TUM (development fork)
:notebook_with_decorative_cover: A LaTeX template for TUM Bachelor/Master theses (development fork)
A demo using a variable thickness font on a green square background.
The Windows 95 GRUB2 theme is a GRUB2 theme in the style of Windows 95.
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.