joaosreis Goto Github PK

abstract-interpretation-course

ai-project

android_device_xiaomi_jason

apkupdater

APKUpdater is an open source tool that simplifies the process of finding updates for your installed apps.

bksol

cockatrice-git

docker-gen

Generate files from docker container meta-data

docker-ngrok

An Ngrok v2 container based on wizardapps/ngrok and fnichol/ngrok

docker-ocsigen-start

Docker container for ocsigen-start.

docs

Documentation for ASP.NET and ASP.NET Core

docs2

Docs website for the Mina Protocol.

forego

Foreman in Go

go-libp2p-kad-dht-patcher

Utility to patch the peer protection logic in go-libp2p-kad-dht

haskell-schnorr

Authentication system based on the Schnorr protocol

homeassistant-powercalc

Custom component to calculate estimated power consumption of lights and other appliances

iotlabs

Microsoft Portugal IoT Labs:

joxi

An automatic personal finance tracker for your banks and crypto. All your finance data in Notion.

joxi-github-action

A GitHub action for joxi: An automatic personal finance tracker for your banks and crypto. All your finance data in Notion.

kaputt

latex-workshop

Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.

lcheck

A library for quickchecking lattice modules and associated operations

ledger-javacard

Ledger Unplugged - Java Card implementation of Ledger Bitcoin Hardware Wallet

michelson-adt

An OCaml library with an ADT representation of Michelson smart contracts syntax

michelson-parser

mini-pascal

mui-x

MUI X: Build complex and data-rich applications using a growing list of advanced React components, like the Data Grid, Date and Time Pickers, Charts, and more!

nginx-proxy

Automated nginx proxy for Docker containers using docker-gen

o1js

TypeScript framework for zk-SNARKs and zkApps

ocaml-ci

A CI for OCaml projects

ocaml-lattices

A collection of lattices in OCaml