Beast code in Giters

dbonattoj's starred repositories

difftastic

a structural diff that understands syntax 🟥🟩

Language:RustMIT2009800

linux-kernel-modules

Linux Kernel Modules

Language:CGPL-2.0100

text-generation-webui

A Gradio web UI for Large Language Models.

Language:PythonAGPL-3.03853000

Oculess

Removes account requirements and telemetry from Oculus Quest devices

Language:KotlinUnlicense180100

nap

NAP Framework source code

Language:C++MPL-2.040000

INFOH410

Material and code for the practical sessions for the course: Techniques of AI [INFOH410]

Language:TeXMIT900

wtfpython

What the f*ck Python? 😱

Language:PythonWTFPL3551600

quiver

A modern commutative diagram editor for the web.

Language:JavaScriptMIT237900

Solution-to-Algebra-Chapter-0

Solution to Algebra, Chapter 0

Language:TeXNOASSERTION8300

chicago-ug-math-bib

Chicago undergraduate mathematics bibliography

Language:HTML67900

mathlib-tools

Development tools for https://github.com/leanprover-community/mathlib

Language:PythonApache-2.03200

penrose

Create beautiful diagrams just by typing notation in plain text.

Language:TypeScriptMIT672700

tracy

Frame profiler

Language:C++NOASSERTION877300

ODriveHardware

High performance motor control

Language:VerilogMIT89100

avatarify-python

Avatars for Zoom, Skype and other video-conferencing apps.

Language:PythonNOASSERTION1618500

ganja.js

:triangular_ruler: Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -

Language:JavaScriptMIT150200

reveal.js

The HTML Presentation Framework

Language:JavaScriptMIT6734900

tessagon

Tessellate your favorite 2D manifolds with triangles, hexagons, and other interesting patterns.

Language:PythonApache-2.021100

enoki

Enoki: structured vectorization and differentiation on modern processor architectures

Language:C++NOASSERTION123300

sagemaker-debugger

Amazon SageMaker Debugger provides functionality to save tensors during training of machine learning jobs and analyze those tensors

Language:PythonApache-2.015800

awesome-google-colab

Google Colaboratory Notebooks and Repositories (by @firmai)

Language:Jupyter Notebook137600

rotvpn

Run a personal VPN in the cloud. And rotate it regularly.

Language:PythonMIT14300

SinGAN

Official pytorch implementation of the paper: "SinGAN: Learning a Generative Model from a Single Natural Image"

Language:PythonNOASSERTION329400

Zoo-For-Zotero

This is an Android app for viewing Zotero libraries.

Language:Kotlin55100

Lean

Lean Algorithmic Trading Engine by QuantConnect (Python, C#)

Language:C#Apache-2.0902900

certigrad

Bug-free machine learning on stochastic computation graphs

Language:LeanApache-2.038600

localstack

💻 A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline

Language:PythonNOASSERTION5309600

portainer

Making Docker and Kubernetes management easy.

Language:TypeScriptZlib2981300

models

Models and examples built with TensorFlow

Language:PythonNOASSERTION7680600

CoqGym

A Learning Environment for Theorem Proving with the Coq proof assistant

Language:CoqLGPL-2.137300