Repositories list

• rusty-time

  Public
  Rust implementation of the time protocol

  Rust

  •

  GNU Affero General Public License v3.0

  •0•0•2•0•Updated Nov 28, 2024Nov 28, 2024

• Qwen-Agent

  Public
  Agent framework and applications built upon Qwen>=2.0, featuring Function Calling, Code Interpreter, RAG, and Chrome extension.

  Python

  •

  Other

  •382•0•0•1•Updated Nov 26, 2024Nov 26, 2024

• dafny-sandbox

  Public
  Dafny for Metatheory of Programming Languages

  Dafny

  •2•0•0•0•Updated Nov 24, 2024Nov 24, 2024

• introspector-llc

  Public
  The First AI Dao Swarm LLC

  GNU Affero General Public License v3.0

  •0•0•0•0•Updated Nov 24, 2024Nov 24, 2024

• time

  Public
  The timeline, add yourself to it.

  TeX

  •

  GNU General Public License v3.0

  •3•5•15•2•Updated Nov 22, 2024Nov 22, 2024

• reveal.js

  Public
  The HTML Presentation Framework

  JavaScript

  •

  MIT License

  •17k•0•0•0•Updated Nov 19, 2024Nov 19, 2024

• next-mdx-deck-o1js-perf

  Public
  o1js mina perf Presentation decks using MDX, React, and Next.JS

  JavaScript

  •

  MIT License

  •45•1•0•0•Updated Nov 19, 2024Nov 19, 2024

• react-shadcn-perf-report

  Public
  React query, shadcn-ui, typescript, introspecting, o1js, reporting

  TypeScript

  •0•1•0•1•Updated Nov 15, 2024Nov 15, 2024

• zkcloudworker-tests

  Public
  zkCloudWorker tests with performance results reporting and history

  performanceminamina-protocol+ 2o1jsmina-navigators

  TypeScript

  •

  Apache License 2.0

  •1•0•0•1•Updated Nov 15, 2024Nov 15, 2024

• meta-meme

  Public template
  The meta meme

  Haskell

  •

  MIT License

  •2•11•168•5•Updated Nov 14, 2024Nov 14, 2024

• react-repl

  Public
  Typescript React component for creating a REPL or interactive command line interface

  JavaScript

  •

  MIT License

  •5•0•0•0•Updated Nov 4, 2024Nov 4, 2024

• mina-zkml

  Public
  Rust

  •1•0•0•0•Updated Nov 2, 2024Nov 2, 2024

• zkcloudworker-lib

  Public
  zkCloudWorker library for web and cloud

  TypeScript

  •

  Apache License 2.0

  •1•0•0•1•Updated Oct 25, 2024Oct 25, 2024

• o1js

  Public
  Performance tuning tools for o1js, the TypeScript framework for zk-SNARKs and zkApps. Github actions to run docker containers with linux perf recordings of o1js jest tests. Also runs locally.

  TypeScript

  •

  Apache License 2.0

  •122•1•2•12•Updated Oct 21, 2024Oct 21, 2024

• deno-introspector

  Public
  Start of porting reporting functions for profiles into deno

  experimentalexampleunfinished-work+ 1deno

  TypeScript

  •0•0•0•0•Updated Oct 17, 2024Oct 17, 2024

• introspector-rdf-clinicjs-react-app

  Public
  Playground for learning react with rdf and reporting on clinicjs

  JavaScript

  •0•0•0•2•Updated Oct 13, 2024Oct 13, 2024

• docker-bpgpr

  Public
  GitHub Action - Builds and pushes Docker images to GitHub Package Registry

  JavaScript

  •

  Apache License 2.0

  •1•0•0•0•Updated Sep 29, 2024Sep 29, 2024

• huggingface_hub_uploader

  Public
  Docker packaging of Python client for the Huggingface Hub for uploading datasets

  Python

  •

  Apache License 2.0

  •559•0•0•0•Updated Sep 27, 2024Sep 27, 2024

• deploy-pages

  Public
  GitHub Action to publish artifacts to GitHub Pages for deployments

  JavaScript

  •

  MIT License

  •79•0•0•0•Updated Sep 23, 2024Sep 23, 2024

• upload-pages-artifact

  Public
  A composite action for packaging and uploading an artifact that can be deployed to GitHub Pages.

  Shell

  •

  MIT License

  •74•0•0•0•Updated Sep 22, 2024Sep 22, 2024

• upload-artifact

  Public
  TypeScript

  •

  MIT License

  •739•0•0•0•Updated Sep 22, 2024Sep 22, 2024

• mina-snarky-o1js-zkapp-introspector

  Public
  zkIntrospector: A Self-Aware zkApp Framework for Gödel Number Reflection

  JavaScript

  •

  GNU Affero General Public License v3.0

  •1•3•15•0•Updated Sep 22, 2024Sep 22, 2024

• cache

  Public
  Cache dependencies and build outputs in GitHub Actions

  TypeScript

  •

  MIT License

  •1.2k•0•0•0•Updated Sep 19, 2024Sep 19, 2024

• configure-pages

  Public
  An action to enable Pages and extract various metadata about a site. It can also be used to configure various static site generators we support as starter workflows.

  JavaScript

  •

  MIT License

  •56•0•0•0•Updated Sep 19, 2024Sep 19, 2024

• download-artifact

  Public
  TypeScript

  •

  MIT License

  •500•0•0•0•Updated Sep 19, 2024Sep 19, 2024

• jest

  Public
  Delightful JavaScript Testing.

  TypeScript

  •

  MIT License

  •6.5k•0•0•0•Updated Sep 18, 2024Sep 18, 2024

• ts-jest

  Public
  A Jest transformer with source map support that lets you use Jest to test projects written in TypeScript.

  TypeScript

  •

  MIT License

  •455•0•0•0•Updated Sep 18, 2024Sep 18, 2024

• artillery

  Public
  The complete load testing platform. Everything you need for production-grade load tests. Serverless & distributed. Load test with Playwright. Load test HTTP APIs, GraphQL, WebSocket, and more. Use any Node.js module.

  JavaScript

  •

  Mozilla Public License 2.0

  •512•0•0•0•Updated Sep 16, 2024Sep 16, 2024

• github-action-benchmark

  Public
  GitHub Action for continuous benchmarking to keep performance

  TypeScript

  •

  MIT License

  •153•0•0•0•Updated Sep 15, 2024Sep 15, 2024

• mina-lightnet-docker

  Public
  Building and publishing primitives for lightweight Mina network Docker images

  Shell

  •

  Apache License 2.0

  •2•0•0•0•Updated Sep 14, 2024Sep 14, 2024