guertsen
Follow
Stars
Turn any glasses into AI-powered smart glasses
A standard framework for modelling Deep Learning Models for tabular data
System-wide Web3 for macOS, Windows and Linux
GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.
The repository provides code for running inference with the SegmentAnything Model (SAM), links for downloading the trained model checkpoints, and example notebooks that show how to use the model.
workshop materials to build intelligent solutions on Open AI
Scalable Python DS & ML, in an API compatible & lightning fast way.
Voevodsky's original development of the univalent foundations of mathematics in Coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
A list of various lists consisting of academics on Mastodon
Julia extension for Visual Studio Code
Monero Node for Single Board Computers with Web Interface and additional tools pre-configured. Self Installing.
Distributed transactional key-value database, originally created to complement TiDB
Monero: the secure, private, untraceable cryptocurrency
Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the…
Minima is a one-size-fits-all Jekyll theme for writers.
📖 HonKit is building beautiful books using Markdown - Fork of GitBook
Server supporting the Signal Private Messenger applications on Android, Desktop, and iOS
A private messenger for Windows, macOS, and Linux.
Fast, modular reference implementation of Instance Segmentation and Object Detection algorithms in PyTorch.
TensorFlow-based neural network library
Powerful convenience for Julia visualizations and data analysis