token-cjg

Pinned Repositories

async-stripe
Async (and blocking!) Rust bindings for the Stripe API
Language:Rust00
Auto-GPT
An experimental open-source attempt to make GPT-4 fully autonomous.
Language:Python0 0 00
basic-node
Continuous integration for a basic Node.js project with Shippable https://www.shippable.com
Language:JavaScript0 1 00
CarClassChallenge
Java coding exercise
Language:Java0 1 00
coronavirus-simulation
Simulating coronavirus with the SIR model
Language:JavaScript0 1 00
coturn
coturn TURN server project
Language:C0 1 00
create_scripts_graphql_ruby
create scripts for graphql site
Language:JavaScript0 2 00
hello_drone
This is a drone repo! Hello Drone, you are so awesome
Language:Shell0 2 00
hello_wordpress
Language:Shell0 2 00
lean-http
🌐 | HTTP primitives for Lean 4
Language:Lean1 0 00

token-cjg's Repositories

token-cjg/lean-http
🌐 | HTTP primitives for Lean 4
Language:Lean1 0 00
token-cjg/async-stripe
Async (and blocking!) Rust bindings for the Stripe API
Language:Rust00
token-cjg/Auto-GPT
An experimental open-source attempt to make GPT-4 fully autonomous.
Language:Python0 0 00
token-cjg/coronavirus-simulation
Simulating coronavirus with the SIR model
Language:JavaScript0 1 00
token-cjg/coturn
coturn TURN server project
Language:C0 1 00
token-cjg/create_scripts_graphql_ruby
create scripts for graphql site
Language:JavaScript0 2 00
token-cjg/hello_drone
This is a drone repo! Hello Drone, you are so awesome
Language:Shell0 2 00
token-cjg/hello_wordpress
Language:Shell0 2 00
token-cjg/dev-test.joseflegal
A full stack application for coding take home challenge.
Language:Vue0 0
token-cjg/dndinfrapublic
Public scripts for Infrastructure for the Sandbox project.
Language:Shell2 0
token-cjg/flask_gunicorn_nginx_docker
Template for deploying ML models using Flask + Gunicorn + Nginx inside Docker
Language:Python1 0
token-cjg/godot
Godot Engine – Multi-platform 2D and 3D game engine
Language:C++1 0
token-cjg/hello_coturn
Scripts to set up a TURN sever
Language:Shell
token-cjg/hello_faas_cli
Language:Shell2 0
token-cjg/hello_nodejs
Scripts to run a nodejs server on a VM
Language:Shell2 0
token-cjg/LayerProcGen
Layer-based infinite procedural generation
token-cjg/leakage
🐛 Memory leak testing for node.
Language:JavaScript1 0
token-cjg/lean-libuv
Bindings to LibUV in Lean
token-cjg/lean4-alloy
Write C shims from within Lean code.
token-cjg/LeanDojoChatGPT
ChatGPT plugin for theorem proving in Lean
Language:Python0 0
token-cjg/learning-lighthouse-ci
Learning Google's Lighthouse CI from scratch with a minimal template web app (quickstart)
Language:JavaScript0 0
token-cjg/mason
Cross platform package manager for C/C++ apps
Language:Python1 0
token-cjg/protongraph
Experimental node-based software for procedural content generation
Language:GDScript1 0
token-cjg/resteasy
An Implementation of the Jakarta RESTful Web Services Specification
Language:Java0 0
token-cjg/sauce-connect-action
A GitHub action to launch Sauce Connect Proxy
Language:Shell1 0
token-cjg/socket.lean
sockets for Lean 4
Language:Lean0 0
token-cjg/Terrain3D
A high performance, editable terrain system for Godot 4.
Language:C++0 0
token-cjg/TestProtongraphProject
An attempt to kick the tires of Protongraph
Language:GDScript2 0
token-cjg/the-mirror
The open-source Roblox & UEFN alternative giving you freedom to own what you create. An all-in-one, real-time, collaborative game development platform built on Godot.
token-cjg/websocketpp
C++ websocket client/server library
Language:C++1 0