huynhtrankhanh

linkedin-skill-assessments-quizzes

Full reference of LinkedIn answers 2024 for skill assessments (aws-lambda, rest-api, javascript, react, git, html, jquery, mongodb, java, Go, python, machine-learning, power-point) linkedin excel test lösungen, linkedin machine learning test LinkedIn test questions and answers

SuperAGI

<⚡️> SuperAGI - A dev-first open source autonomous AI agent framework. Enabling developers to build, manage & run useful autonomous agents quickly and reliably.

evals

Evals is a framework for evaluating LLMs and LLM systems, and an open-source registry of benchmarks.

fauxpilot

FauxPilot - an open-source alternative to GitHub Copilot server

type-fest

A collection of essential TypeScript types

edgedb

A graph-relational database with declarative schema, built-in migration system, and a next-generation query language

acorn

A small, fast, JavaScript-based JavaScript parser

estree

The ESTree Spec

client

⚡️ OpenAI PHP is a supercharged community-maintained PHP API client that allows you to interact with OpenAI API.

WalletWasabi

Open-source, non-custodial, privacy preserving Bitcoin wallet for Windows, Linux, and Mac.

gsocket

Connect like there is no firewall. Securely.

gdrive

Google Drive CLI Client

openai-openapi

OpenAPI specification for the OpenAI API

rapidcheck

QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.

nature

🍀 The Nature Programming Language, may you be able to experience the joy of programming.

This-Repo-Has-581-Stars

Yes, it's true :sparkling_heart: This repository has 581 stars.

shoop

scp has a run-in with mosh (alpha)

slingshot

A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety

vellvm

The Vellvm (Verified LLVM) coq development.

Web49

Web49: WebAssembly Interpeter

Coqtail

Interactive Coq Proofs in Vim

coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

WasabiDoc

This is the Wasabi documentation, an archive of knowledge about the open-source, non-custodial and privacy-focused Bitcoin wallet for desktop.

coq-http

HTTP specification in Coq, testable and verifiable

tarjan

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

coq-lean-cheatsheet

A Cheat Sheet for Coq Developers who want to try LeanProver

language-server-protocol

mychurnero

a monero churning service designed to automatically churn your monero for you

jasmin-language-server

A language server (based on LSP) for Jasmin.

Tuas

The Tuas jig status tracker