Mike DuPont's repositories
https-lablab.ai-event-llama-2-hackathon-with-clarifai-introspector
https://lablab.ai/event/llama-2-hackathon-with-clarifai/introspector
Morpheus-Hardhat
hardhat packaging of morpheus smart contracts
alec-is-not-coq-lsp
Visual Studio Code Extension and Language Server Protocol for Alec-is-not-Coq
Auto-GPT
An experimental open-source attempt to make GPT-4 fully autonomous.
call-auto-gpt
show how you can call autogpt with a github action
colabtools
Python libraries for Google Colaboratory
donjon
extracted from downloadable one on jonjon site and unbase64 data mostly running on my own code maybe pulling in sizzle or prototype
elpy
Emacs Python Development Environment
emacs
Mirror of GNU Emacs
emacs-data
data repo for emacs introspection
emacspeak
Automatically exported from code.google.com/p/emacspeak
foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
go-criu
Go Bindings for CRIU
go-libp2p-daemon
a libp2p-backed daemon wrapping the functionalities of go-libp2p for use in other languages
KtoIsabelle
K framework to Isabelle
manifest
k8s manifests ☸ for traP services
microfts
Small and fast FTS (full text search)
NeoShowcase
PaaS (Platform as a Service) on Docker 🐳 or k8s ☸
pdpcli
PdpCLI is a pandas DataFrame processing CLI tool which enables you to build a pandas pipeline from a configuration file.
petals-miner
🌸 Petals Miner
rescript-project-template
Clone this repo to start your own project!
team-tonic-arena-hacks-github
fork of github
Terraform-Ansible
Working on a webinar series on Terraform and Ansible on AWS