kris7t Goto Github PK
Name: Kristóf Marussy
Type: User
Company: @ftsrg
Bio: Researcher working in the formal verification of extra-function properties for reconfigurable systems
Location: Budapest, Hungary
Blog: https://marussy.com
Name: Kristóf Marussy
Type: User
Company: @ftsrg
Bio: Researcher working in the formal verification of extra-function properties for reconfigurable systems
Location: Budapest, Hungary
Blog: https://marussy.com
Emacs major-mode to work with Beancount ledger files
Daily price quotes fetching library for plain-text accounting
Attempt to load Cygwin dlls for P/Invoke
The smallest Docker image with Miniconda3 (Python 3.5) (~143MB)
A complete solution to package and build a ready for distribution Electron app with “auto update” support out of the box
🧔🏽 Community fork of @meetfranz. Ferdi allows you to combine your favourite messaging services into one application
Linux namespaces and seccomp-bpf sandbox
Gjs bindings for Hunspell
P2 update site for graphviz-java.
Gráfok, hipergráfok jegyzet
A "fork" (in Github sense) of the Hunspell CVS repository at SourceForge.
a terrible NAT kludge
General data-binding package for Jackson (2.x): works on streaming API (core) implementation(s)
Script for my custom hotkeys for swaywm
Kotlin language support for Gradle build scripts
Kotlin cross-platform / multi-format serialization
An unofficial userspace driver for HID++ Logitech devices
:rocket: High Performance Linear Algebra OOP
Tool for MIDI file auditioning with libsmf and JACK
a game with 3D and computer vision
Github Mirror of VIATRA Eclipse repository
QPlatformTheme for a better Qt application inclusion in GNOME
🍰 Recipe repository for Ferdi. Learn how to create your own recipes at https://github.com/getferdi/recipes/blob/master/docs/integration.md
Refinery: an efficient graph solver for generating well-formed models
Set of extensions for R# that simplifies Design by Contract programming using Code Contracts.
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.