ysnrkdm

keras

Deep Learning for humans

ente

Fully open source, End to End Encrypted alternative to Google Photos and Apple Photos

wasm3

🚀 A fast WebAssembly interpreter and the most universal WASM runtime

tock

A secure embedded operating system for microcontrollers

SynapseML

Simple and Distributed Machine Learning

firefly

An alternative BEAM implementation, designed for WebAssembly

determined

Determined is an open-source machine learning platform that simplifies distributed training, hyperparameter tuning, experiment tracking, and resource management. Works with PyTorch and TensorFlow.

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.

PositronV3

A upside-down, fast, portable, and compact 3D printer

TexasSolver

🚀 A very efficient Texas Holdem GTO solver :spades::hearts::clubs::diamonds:

AtCoderProblems

Extend your AtCoder

homebrew-wine

atcoder-cli

AtCoder command line tools

pluto

An x86 kernel written in Zig

resea

A microkernel-based hackable operating system.

superlu

Supernodal sparse direct solver. https://portal.nersc.gov/project/sparse/superlu/

kwast

Rust operating system running WebAssembly as userspace in ring 0

redleaf

RedLeaf Operating System

minilp

A pure Rust linear programming solver

dvvr

A versatile character model viewer and motion player that supports a range of model and motion formats including PMX (MMD) & XNALara/XPS models, as well as VMD/BVH motion formats.

cpp-cfr

C++ implementations of Counterfactual Regret Minimization and Monte Carlo CFR

c3

The C3, SMT/SAT solver written in C.

mlir

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

bunny

Haskell x Android

coremlir

Encoding of GHC Core inside MLIR

holocure-modloader

HoloCure mod loader written in C#.

cabal-sat

Using cabal-install as SAT solver

rustscript

A Toy Javascript Compiler that parses javascript and compiles JIT with LLVM(Rust:inkwell).

PokerSolver

Simple Haskell Command line tool using Monte Carlo simulation

dunai-bayes