krobelus Goto Github PK
Name: Johannes Altmanninger
Type: User
Location: Austria
Name: Johannes Altmanninger
Type: User
Location: Austria
Reasonable Tox client for Android
clang-tools-extra including sloopy. Sloopy computes heuristics to empirically determine difficulty of automated program analysis for loops in C programs.
A collection of code samples showing usage of clang and llvm as a library
The Docker CLI
A Commander for modern Go CLI interactions
An advanced SAT Solver
Safe interop between Rust and C++
Tox client for SailfishOS
A delta debugger for SMT benchmarks in SMT-LIB v2.
Delve is a debugger for the Go programming language.
💻 Desktop Syncing Client for Nextcloud
The DRAT-trim proof checker
The user-friendly command line shell.
Kakoune plugin that brings integration with fzf
Distributed code review system for Git repos
create fixup commits for topic branches
Efficiently manage Git branches without leaving your local branch
Distributed, offline-first bug tracker embedded in git, with bridges
A handy tool for doing efficient in-memory commit rebases & fixups
Git Developer Pages (This is NOT the place to discuss Git issues. See: https://git-scm.com/community)
Read and write GitLab/GitHub review comments without leaving your editor
A simple GTK+ frontend for mpv
hub helps you win at git.
A Dependently Typed Functional Programming Language
Assorted immutable collection datatypes for Rust
A java test repo
The Julia Programming Language
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.