andreastedile

andreastedile's Stars

• statelyai/xstate

  Actor-based state management & orchestration for complex app logic.

  Language:TypeScript27.5k1921.4k1.3k

• rui314/mold

  Mold: A Modern Linker 🦠

  Language:C++14.5k111904478

• PyO3/pyo3

  Rust bindings for the Python interpreter

  Language:Rust12.7k1031.4k782

• flxzt/rnote

  Sketch and take handwritten notes.

  Language:Rust8.5k55772298

• cpp-best-practices/cppbestpractices

  Collaborative Collection of C++ Best Practices. This online resource is part of Jason Turner's collection of C++ Best Practices resources. See README.md for more information.

  8.2k36257895

• typelevel/cats

  Lightweight, modular, and extensible library for functional programming.

  Language:Scala5.3k1891.2k1.2k

• corna/me_cleaner

  Tool for partial deblobbing of Intel ME/TXE firmware images

  Language:Python4.5k189384281

• rafaelmardojai/firefox-gnome-theme

  A GNOME👣 theme for Firefox🔥

  Language:CSS3.6k35669163

• nuta/kerla

  A new operating system kernel with Linux binary compatibility written in Rust.

  Language:Rust3.4k396087

• exhibitionist-digital/ultra

  Zero-Legacy Deno/React Suspense SSR Framework

  Language:TypeScript3k1710768

• theseus-os/Theseus

  Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.

  Language:Rust2.9k36205174

• p4lang/tutorials

  P4 language tutorials

  Language:P41.4k91388895

• RajSolai/TextSnatcher

  How to Copy Text from Images ? Answer is TextSnatcher !. Perform OCR operations in seconds on Linux Desktop.

  Language:Vala1.3k164946

• paper-plane-developers/paper-plane

  Chat over Telegram on a modern and elegant client

  Language:Rust9962719942

• thma/LtuPatternFactory

  Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

  Language:Haskell995282138

• akka/akka-samples

  Akka Sample Projects

  Language:Scala7914965440

• arximboldi/lager

  C++ library for value-oriented design using the unidirectional data-flow architecture — Redux for C++

  Language:C++712298869

• NickvisionApps/Tagger

  Tag your music

  Language:C#245717613

• openjdk/wakefield

  https://openjdk.org/projects/wakefield

  Language:Java18726010

• canonical/firmware-updater

  An experimental firmware updater UI based on fwupd

  Language:Dart11699018

• caojohnny/pbft-java

  A Practical Byzantine Fault Tolerance (PBFT) emulator built in Java

  Language:Java432114

• NickvisionApps/Application

  Create new Nickvision applications

  Language:C++395138

• sunwxg/gnome-shell-extension-arrangeWindows

  Language:JavaScript363176

• koehlma/momba

  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.

  Language:PDDL18593

• giuspek/FormalMethods-2022

  Obsolete

  Language:SMT13326

• jix/starlit

  CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI breakage.

  Language:Rust10301

• joaop21/SpringRaft

  Raft consensus algorithm implementation using Spring MVC and Spring WebFlux

  Language:Java63341

• linpelvis/bft-mit

  The BFT code from MIT

  Language:C3200

• samaursa/cmake_fetch_content

  CMake example of how to use the new CMake 3.11 FetchContent module

  Language:CMake3110

• yale-build-a-router/yale-build-a-router.github.io

  Website for the "Build an Internet Router" Course

  Language:SCSS1