note89's Stars
Significant-Gravitas/AutoGPT
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.
git/git
Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documentation/SubmittingPatches procedure for any of your improvements.
joshbuchea/HEAD
A simple guide to HTML <head> elements
codex-team/editor.js
A block-style editor with clean JSON output
kdeldycke/awesome-falsehood
😱 Falsehoods Programmers Believe in
QwikDev/qwik
Instant-loading web apps, without effort
tursodatabase/libsql
libSQL is a fork of SQLite that is both Open Source, and Open Contributions.
onceupon/Bash-Oneliner
A collection of handy Bash One-Liners and terminal tricks for data processing and Linux system maintenance.
OthersideAI/self-operating-computer
A framework to enable multimodal models to operate a computer.
princeton-nlp/tree-of-thought-llm
[NeurIPS 2023] Tree of Thoughts: Deliberate Problem Solving with Large Language Models
dempfi/ayu
🎨🖌 Modern Sublime Text theme
DeterminateSystems/nix-installer
Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 7 million installs.
antonmedv/codejar
An embeddable code editor for the browser 🍯
F1bonacc1/process-compose
Process Compose is a simple and flexible scheduler and orchestrator to manage non-containerized applications.
graninas/software-design-in-haskell
Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.
achlipala/frap
Formal Reasoning About Programs
hwayne/lets-prove-leftpad
Proving leftpad correct two-dozen different ways
mxstbr/karabiner
My Karabiner Elements configuration
ozanmakes/markup.rocks
Pandoc based document editor and converter in your browser.
quickstrom/quickstrom
High-confidence browser testing
fimad/scalpel
A high level web scraping library for Haskell.
CardanoSolutions/ogmios
❇️ A WebSocket JSON/RPC bridge for Cardano
IntersectMBO/plutus-apps
The Plutus application platform
ronami/typelang
🌳 A tiny language interpreter implemented purely in TypeScript's type-system
matrix-org/matrix-appservice-slack
A Matrix <--> Slack bridge
txpipe/oura
The tail of Cardano
input-output-hk/plutus-starter
A starter project for Plutus apps
Linguistic-Antipatterns/linguistic-antipatterns.github.io
Linguistic Antipatterns
yutaro-sakamoto/tree-sitter-cobol
functorism/dadrill