threefx Goto Github PK
Name: Ben Fiedler
Type: User
Bio: Student at ETH Zurich.
Location: Zurich, Switzerland
Blog: https://3fx.ch
Ben Fiedler's Projects
lernzettel
Lernzettel fur mein Studium.
libdnsgandi
lightingsystem
Software for microcontrollers to determine light output and color permeability.
lutils
Plaintext accounting utils for ledger, hledger and friends
mailclient
Postfix relay configuration
mailserver
migros-simulation
Migros simulation for cookies.
monitoring-base
monitoring-server
networks2tester
Unofficial tester for second networks project. It constructs a graph, runs dijkstra on it and checks your implementation (whether all your next_hops are correct).
nvim-code-action-menu
Pop-up menu for code actions to show meta-information and diff preview
python-pygments-isabelle
Isabelle syntax translator for pygments. Original work by Gerwin Klein, adapted by me.
qmk_firmware
keyboard controller firmware for Atmel AVR and ARM USB families
relalg
A relational algebra interpreter for testing.
river
A dynamic tiling Wayland compositor
ross
stockfish
UCI chess engine
tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
tigerbeetle
A distributed financial accounting database designed for mission critical safety and performance to power the future of financial services.
tools
[mirror] Go Tools
toy-examples
Some toy theorem proving stuff
viewstamped-replication-made-famous
A $20,000 consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.
zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.