This is your work, valued
omniclone. An isomorphic and configurable javascript utility for objects deep cloning that supports circular references.
โ 184vue-use-infinite-scroll. A Vue composition function that makes infinite scroll a breeze.
โ 111aww. Async Iterables Interfaces for Web Workers
โ 111strawberry. A new flexbox based CSS micro-framework.
โ 76oxjs. Reactive JavaScript Objects and Primitives
โ 34csp. Communicating Sequential Processes in JavaScript
โ 33asynchronousforeach. async parallel/serial foreach in JavaScript
โ 30jducers. A js transducers-like implementation using ES9
โ 23list-comprehension-in-js. Haskell-like List Comprehension in JavaScript
โ 12tc39-proposal-dotstructuring. Proposal: Object dotstructuring
โ 12Raex. Reactive Javascript using ES6 Proxies
โ 12ts-consts. Manage constants with full TypeScript support, nominal typing included!
โ 10vue-use-switch-map. A Vue composition that let you compose a ref with a function from values to refs.
โ 9recoverabletrycatch. This is a little package that brings into play a simple API similar to the `try-catch-finally` syntax to retrieve the main computation after any error was handled.
โ 8Object.setPrototypesOf. multiple inheritance using ES6 Proxy
โ 6ntfm. A node telegram bots flow manager
โ 6arraymake. A new static method for the Array constructor that let you create an array with predefined length and filling values
โ 4Promyse. Example implementation of Promises written in ES6 - not a polyfill
โ 4aot-2023. My solutions for Advent of TypeScript challenges, year 2023
โ 3pitogo. TypeScript
โ 2andreasimonecostadotdev. My personal blog about programming
โ 2advanced-typescript-workshop-template. Dockerfile
โ 2tc39-proposal-object-gather. Proposal: Object gather in parameters lists
โ 2pitogo-web. Vue
โ 1ts-type-challenges. TypeScript
โ 1microc. A compiler written in OCaml for the Languages, Compilers & Interpreters course @ UniPi.
โ 1JavaScript-challenges-for-truthy-masochists. Weird JavaScript challenges
โ 1progetto-ocaml-pr2. Progetto di OCaml - Esame di Programmazione II @ UniPi (2020 - 2021)
โ 1jfet97. Me
โ 1virtual-dom. Trying to build a simple virtual dom from scratch
โ 1resumabletcf. A package that let recover failed computations inside try blocks.
โ 1real_array. This template class is being created to access to the n-th element of an array using [n] instead of [n-1]. I'm creating an useless new type to replace arrays.
โ 1effect-http-requests-rate-limiter. TypeScript
โ 1OB1. Open Brain โ The infrastructure layer for your thinking. One database, one AI gateway, one chat channel โ any AI plugs in. No middleware, no SaaS.
โ 4.1kgraphify. AI coding assistant skill (Claude Code, Codex, OpenCode, Cursor, Gemini CLI, and more). Turn any folder of code, SQL schemas, R scripts, shell scripts, docs, papers, images, or videos into a queryable knowledge graph. App code + database schema + infrastructure in one graph.
โ 82kserena. A powerful MCP toolkit for coding, providing semantic retrieval and editing capabilities - the IDE for your agent
โ 26kcosmosdb-agent-kit. A collection of skills for AI coding agents working with Azure Cosmos DB. Skills are packaged instructions and scripts that extend agent capabilities.
โ 43awesome-claude-code. A hand-picked collection of the finest of resources for the most awesome of agents, Claude Code, the undisputed champion of coding companions, from the unstoppable team at Anthropic PBC. A delectable showcase of top tier skills, ambidextrous agents, scintillating status lines, top notch developer tooling, and also we have plugins
โ 50kkeycastr. KeyCastr, an open-source keystroke visualizer
โ 15kReact2Shell-CVE-2025-55182-original-poc. Original Proof-of-Concepts for React2Shell CVE-2025-55182
โ 1.1ktsdown. The elegant bundler for libraries powered by Rolldown
โ 4.1kagent-mcp-gateway. Provides per-subagent MCP access controls to Claude Code (or any MCP client) across all your MCPs and prevents context window bloat. Loads only 3 tools instead of all your MCP Server's tool definitions. Agents discover tools on-demand, only when needed. Control which servers and individual tools each agent/subagent can access.
โ 41effect-decorate. Decorates code in VS Code with ligature-like symbols
โ 5dima-portfolio. This is my Personal Portfolio Website ๐, designed with a VSCode theme to reflect my style. Itโs built using React, TypeScript, Framer Motion, and Tailwind CSS.
โ 30tstyche. Everything You Need for Type Testing.
โ 312nixos-and-flakes-book. :hammer_and_wrench: :heart: Want to know NixOS & Flakes in detail? Looking for a beginner-friendly tutorial? Then you've come to the right place! ๆณ่ฆๅญฆไน ไฝฟ็จ NixOS ไธ Flakes ๅ๏ผๅจๅฏปๆพไธไปฝๆฐๆๅๅฅฝ็ๆ็จ๏ผ้ฃไฝ ๅฏๆฅๅฏนๅฐๆนไบ๏ผ
โ 3.2kpar-lang. Par (โ ) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
โ 774effect-smol. Core libraries and experimental work for Effect v4
โ 765typescript-bot-test-triggerer. A quick azure function for reading comments on the TypeScript repo and then doing things like running tests
โ 16RAG_Techniques. This repository showcases various advanced techniques for Retrieval-Augmented Generation (RAG) systems. Each technique has a detailed notebook tutorial.
โ 28kacwj. A Compiler Writing Journey
โ 13kmilvus. Milvus is a high-performance, cloud-native vector database built for scalable vector ANN search
โ 45kllama-stack-apps. Agentic components of the Llama Stack APIs
โ 4.3kparsebox. Parser Combinators in the TypeScript Type System
โ 126Awesome-LLM. Awesome-LLM: a curated list of Large Language Model
โ 27kclarity. A behavioral analytics library that uses dom mutations and user interactions to generate aggregated insights.
โ 2.7kBetterDisplay. Unlock your displays on your Mac! Flexible HiDPI scaling, XDR/HDR extra brightness, virtual screens, DDC control, extra dimming, PIP/streaming, EDID override and lots more!
โ 33kcarbon. :black_heart: Create and share beautiful images of your source code
โ 36kgranule. A statically-typed linear functional language with graded modal types for fine-grained program reasoning
โ 721starter-ts. Starter template for TypeScript library
โ 920hkt-toolbelt. โจFunctional and composable type utilities
โ 295typescript-eslint. :sparkles: Monorepo for all the tooling which enables ESLint to support TypeScript
โ 16kquantitative. Statically-checked physical units with seamless syntax
โ 6purescript-leibniz-proof. PureScript
โ 12functional-programming. Introduction to Functional Programming using TypeScript and fp-ts.
โ 1.3kts-ast-viewer. TypeScript AST viewer.
โ 1.3kdomain-driven-hexagon. Learn Domain-Driven Design, software architecture, design patterns, best practices. Code examples included
โ 15kts-morph. TypeScript Compiler API wrapper for static analysis and programmatic code changes.
โ 6.1ksofp. A free book: "The Science of Functional Programming"
โ 1.5kresources. Useful resources found/made by members of our community
โ 35typetype. A programming language designed for typescript type generation
โ 422programming-language-research. โจ Programming Language Research, Applied PLT & Compilers
โ 955reveal.js. The HTML Presentation Framework
โ 72kchallenge. Strongly-typed System F in Haskell
โ 121object-algebras. Experiments with higher-kinded types and object algebras in C#
โ 40every-ts. A utility to build and bisect any version of TypeScript
โ 90devicescript. TypeScript for Tiny IoT Devices (ESP32, RP2040, ...)
โ 3.5kcs3100_m20. CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
โ 64arktype. TypeScript's 1:1 validator, optimized from editor to runtime
โ 7.8kcode-block-writer. Code writer for JavaScript and TypeScript code.
โ 218typescript-book. The Concise TypeScript Book: A Concise Guide to Effective Development in TypeScript. Free and Open Source.
โ 10ktsup. The simplest and fastest way to bundle your TypeScript libraries.
โ 11khotscript. A library of composable functions for the type-level! Transform your TypeScript types in any way you want using functions you already know.
โ 3.7keffect-introduction. Effect introduction about the whys, helping transitioning from raw TypeScript to Effect TypeScript
โ 344gopherjs. A compiler from Go to JavaScript for running Go code in a browser
โ 13kunipi. My university notes -- in Italian
โ 3openai-cookbook. Examples and guides for using the OpenAI API
โ 75kMaterials. ๐Collection of useful repositories
โ 164Materials. ๐Collection of useful repositories
โ 3ts-spec. A small library for testing your types
โ 17analytics. Haskell
โ 93meta-typing. ๐ Functions and algorithms implemented purely with TypeScript's type system
โ 1.6kgalactic-CV-guide-for-developers. Tips & Tricks to write a great CV
โ 528effect-crashcourse. The practical guide I wish existed while learning @effect-ts
โ 368free-types. A type-level library enabling the creation and the manipulation of type constructors which can be detached from their type parameters. Also referred to as higher kinded types.
โ 167core. Functional programming in TypeScript
โ 192codeimage. A tool to beautify your code screenshots. Built with SolidJS and Fastify.
โ 2.1kts-calc. compute with typescript type system
โ 57chumsky. [Chumsky has moved to Codeberg!] Write expressive, high-performance parsers with ease.
โ 4.5kms-mock. Mock microservices application
โ 1beginners-typescript-tutorial. An interactive TypeScript tutorial for beginners
โ 8kts-adt. Generate Algebraic Data Types and pattern matchers
โ 324ts-pattern. ๐จ The exhaustive Pattern Matching library for TypeScript, with smart type inference.
โ 15kalge. Type safe library for creating Algebraic Data Types (ADTs) in TypeScript. ๐ฑ
โ 127HypeScript. ๐ฌ A simplified implementation of TypeScript's type system written in TypeScript's type system
โ 2ktype-trident. A curated list of advanced type level madness
โ 357awesome-template-literal-types. Curated list of awesome Template Literal Types examples
โ 1.2kfresh. The framework so simple, you already know it.
โ 14ktsx. โก๏ธ TypeScript Execute | The easiest way to run TypeScript in Node.js
โ 12kpreconstruct. ๐ Dev and build your code painlessly in monorepos
โ 1.2kesno. Alias to `tsx`
โ 1.6kTypeScript-Compiler-Notes. A repo containing notes about the TypeScript Compiler codebase
โ 696type-fest. A collection of essential TypeScript types
โ 17kts-sql. A SQL database implemented purely in TypeScript type annotations.
โ 3.3kAwesome-CV. :page_facing_up: Awesome CV is LaTeX template for your outstanding job application
โ 28kauto-editor. Effort free video editing!
โ 4.5kawesome-italia-remote. A list of remote-friendly or full-remote companies that targets Italian talents.
โ 2.6knsenter1. simple nsenter to namespaces of pid 1
โ 544book. A textbook on informal homotopy type theory
โ 2.2knotes. detailed notes on computer science topics, in one page
โ 2.2kexpress-routing. A Java Port of the Express Routing Library 'path-to-regexp'
โ 7create-vue. ๐ ๏ธ The recommended way to start a Vite-powered Vue project
โ 4.4kImmutableAssign. Lightweight immutable helper that allows you to continue working with POJO (Plain Old JavaScript Object)
โ 173BorrowScript. TypeScript with a Borrow Checker. Multi-threaded, Tiny binaries. No GC. Easy to write.
โ 1.5ktheme-bulma. ๐ Customization of Oruga components with Bulma CSS framework
โ 111PursuingStacks. LaTeX version of Grothendieck's Pursuing Stacks
โ 54web-skills. A visual overview of useful skills to learn as a web developer
โ 7.6kfp-resources. Functional programming great resources
โ 485scala3. The Scala 3 compiler, also known as Dotty.
โ 6.3kis-even. Is a number even?
โ 2.2kcraftinginterpreters. Repository for the book "Crafting Interpreters"
โ 11krecursion-scheme-talk. A talk on using recursion schemes in FP.
โ 220awesome-recursion-schemes. Resources for learning and using recursion schemes.
โ 1.3kGitVersion. From git log to SemVer in no time
โ 3.1kmini-typescript. A miniature model of the Typescript compiler, intended to teach the structure of the real Typescript compiler
โ 1.2kEqual. Equal UI is a Vue 3 UI library empowered by Tailwindcss
โ 1.3kappwrite. Appwriteยฎ - complete cloud infrastructure for your web, mobile and AI apps. Including Auth, Databases, Storage, Functions, Messaging, Hosting, Realtime and more
โ 57kvue-formulate. โก๏ธ The easiest way to build forms with Vue.
โ 2.2koruga. ๐ Oruga is a lightweight Vue.js UI component library without any CSS dependency
โ 1.2kpractical-fp-in-ts-may-2021. TypeScript
โ 7effect. Build production-ready applications in TypeScript
โ 15khugo-coder. A minimalist blog theme for hugo.
โ 3.1knode-telegram-bot-boilerplate. ๐ค Create telegram bot with this friendly nodejs boilerplate
โ 64advanced-functional-resources.
โ 30professional-programming. A collection of learning resources for curious software engineers
โ 51kappy. A functional wrapper around Fetch API
โ 64blog-post-workflow. Show your latest blog posts from any sources or StackOverflow activity or Youtube Videos on your GitHub profile/project readme automatically using the RSS feed
โ 3.4kgithub-profile-trophy. ๐ Add dynamically generated GitHub Stat Trophies on your readme
โ 6.6kawesome-github-profile-readme. ๐ A curated list of awesome GitHub Profile which updates in real time
โ 30knpkill. List any node_modules ๐ฆ dir in your system and how heavy they are. You can then select which ones you want to erase to free up space ๐งน
โ 9.4kawesome-vite. โก๏ธ A curated list of awesome things related to Vite.js
โ 17kwebpack-boilerplate. ๐ฆ โ A sensible webpack 5 boilerplate.
โ 2.4kfree-programming-books. :books: Freely available programming books
โ 392kawesome-developer-streams. ๐ฉ๐ฟโ๐ป๐จ๐พโ๐ป๐ฉ๐ผโ๐ป๐จ๐ฝโ๐ป๐ฉ๐ปโ๐ป Awesome Developers, Streaming
โ 8kPublications. Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com
โ 1.3kvitesse. ๐ Opinionated Vite + Vue Starter Template
โ 9.4khaskell-book-solutions. Solutions to exercises in Haskell Programming from first principles
โ 38type-challenges. Collection of TypeScript type challenges with online judge
โ 48klearn-tt. A collection of resources for learning type theory and type theory adjacent fields.
โ 2.5kreusable-components-examples. Vue
โ 25shortest-path-tree-finder. A simple Python script that traverses a graph and finds an SPT using a Bellman-Ford-like algorithm, then graphically outputs such tree
โ 3projects-for-complete-intro-to-containers. The projects for the Frontend Masters course, the Complete Intro to Containers
โ 349complete-intro-to-containers. The Complete Intro to Containers! As taught on Frontend Masters.
โ 945Front-End-Checklist. ๐ The essential checklist for modern web development, for humans and AI agents
โ 73kIIA-Appunti. Artifical Intelligence Introduction @ Unipi - LaTeX notes (2020)
โ 10typescript-build2016-demos. Collection of TypeScript demo projects form //build 2016
โ 101awesome-vue-3. A curated list of awesome things related to Vue 3
โ 1.6kawesome-vue-composition-api. ๐ A curated list of awesome things related to vue composition api
โ 346vue-demi. ๐ฉ Creates Universal Library for Vue 2 & 3
โ 3.1kvueuse. Collection of essential Vue Composition Utilities for Vue 3
โ 22kfp-ts. Functional programming in TypeScript
โ 12klogic-justified-evaluator. Propositional logic evaluator using Map from justified-containers
โ 2reactive-banana. Library for functional reactive programming in Haskell.
โ 542rhine. Haskell Functional Reactive Programming framework with type-level clocks
โ 142dunai. Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
โ 231the-book-of-secret-knowledge. A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.
โ 233kWhyHaskellMatters. In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.
โ 480frp-zoo. Comparing many FRP implementations by reimplementing the same toy app in each.
โ 498ae-a-2019. Appunti del corso di Architettura degli Elaboratori A.A 2019-2020
โ 2Notes. LaTeX notes from various courses (mainly from UniPi)
โ 67highland. High-level streams library for Node.js and the browser
โ 3.4krust-blog. Educational blog posts for Rust beginners
โ 8.4kreact. Cheatsheets for experienced React developers getting started with TypeScript
โ 47kbilby.js. Serious functional programming library for JavaScript.
โ 588tsdx. Zero-config CLI for TypeScript package development
โ 11kts-toolbelt. ๐ท TypeScript's largest type utility library
โ 7.1kalpine. A rugged, minimal framework for composing JavaScript behavior in your markup.
โ 32kwretch. A tiny wrapper built around fetch with an intuitive syntax. :candy:
โ 5.2kjavascript-library-template. JavaScript library template to focus on โจ๏ธ coding, ๐ collaborating and ๐ shipping
โ 84idris-ct. formally verified category theory library
โ 271dayjs. โฐ Day.js 2kB immutable date-time library alternative to Moment.js with the same modern API
โ 49ktools. Unified developer tools for JavaScript, TypeScript, and the web
โ 23kscriptum. No-Frills Functional Programming Lib Augmenting Javascript/Node.js
โ 381learnhaskell. Learn Haskell
โ 8kawesome-command-line-apps. :shell: Use your terminal shell to do awesome things.
โ 4.2kfunctional-programming. Introduction to Functional Programming (Italian)
โ 443build-your-own-x. Master programming by recreating your favorite technologies from scratch.
โ 524kcomputer-science. ๐ Path to a free self-taught education in Computer Science!
โ 206ksoftware-design-in-haskell. Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.
โ 1.1kmilewski-ctfp-pdf. Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
โ 12kOnline-Computer-Science-Degree. Open-Source Computer Science Degree
โ 364awesome-speaker. A curated list of awesome resource for public speakers, trainers and so on!
โ 191marp-core. The core of Marp converter
โ 1.1kstreams. Streams Standard
โ 1.4kbxjs-weekly. BxJS Weekly news podcast links collection
โ 316Design-Patterns-in-Javascript. Design Patterns applied to Javascript code.
โ 2.6kgtor. A General Theory of Reactivity
โ 3.1kCompiler. Produces preemptible JavaScript coroutines which conform to the HertzScript specification.
โ 9read-vue-source-code. Record what I learn after reading Vue source code
โ 708gridsome. โก๏ธ The Jamstack framework for Vue.js
โ 8.5kfasy. FP iterators that are both eager and asynchronous
โ 549js-library-boilerplate-basic. Javascript Minimal Starter Boilerplate - Webpack 5 ๐, Babel 7, UMD, Unit Testing
โ 411You-Dont-Know-JS. A book series (2 published editions) on the JS language.
โ 185kprogramming-typescript-answers. Official answers for exercises from Orielly's Programming TypeScript
โ 551vue-class-component. ES / TypeScript decorator for class-style Vue components.
โ 5.8kvue-property-decorator. Vue.js and Property Decorator
โ 5.5knode-telegram-bot-api. Telegram Bot API for NodeJS
โ 9.2kIxJS. The Interactive Extensions for JavaScript
โ 1.4k30-seconds-of-code. Coding articles to level up your development skills
โ 128klighthouse-ci. A useful wrapper around Google Lighthouse CLI
โ 236