276 Repositories
JavaScript type-level-programming Libraries
A simple static type checker that enforces C-style programming in Julia
SimpleTypeChecker is an experimental Julia package designed to enforce C-style programming in Julia language. Note : it won't save you if your codes a
A beginner friendly hacktoberfest2022 repo made lately to accept valid open source contribution.
Hacktoberfest2022 A hacktoberfest2022 repo made lately to accept valid open source contribution. What is Hacktoberfest? Hacktoberfest is digitalocean’
Type-safe session for all Astro SSR project
Astro Session Why use Astro Session? When building server application with Astro, you will often need session system to identify request coming from t
Kysely dialects, plugins and other goodies for SurrealDB
kysely-surrealdb Kysely dialects, plugins and other goodies for SurrealDB. SurrealQL is based on SQL, so why not? Installation NPM 7+ npm i kysely-sur
VSCode Extension & utilities for exploring TypeScript type information
ts-type-explorer VSCode Extension & utilities to explore type information in TypeScript projects. Installation Check out the releases page to download
A fully type-safe and lightweight way of using exceptions instead of throwing errors
🛡️ exceptionally A fully type-safe and lightweight way of using exceptions instead of throwing errors 🦺 fully typesafe 🐤 lightweight (209 bytes) 🏃
This Photoshop script exports all top-level layers and groups to cropped PNG and JPEG files and creates a file usable in Tumult Hype 4 based on your Photoshop document.
Export To Hype (Photoshop Edition) This Photoshop script exports all top-level layers and groups to cropped PNG and JPEG files and creates a file usab
Cookbook Method is the process of learning a programming language by building up a repository of small programs that implement specific programming concepts.
CookBook - Hacktoberfest Find the book you want to read next! PRESENTED BY What is CookBook? A cookbook in the programming context is collection of ti
TSServer plugin & Utilities for "expanding" TypeScript types
ts-expand-type This repo provides a TS Server plugin which amends quick info to include the fully "expanded" type. "Expanded" means that object inters
Type safe library for interacting with Mindbody's Public API (v6) and Webhooks
Mindbody API Type safe library for interacting with Mindbody's Public API (v6) and Webhooks ⚠️ Read before installing This library is typed according
microregex is an open source and highly curated catalog of regular expression patterns. It offers programmers RegEx snippets that can be quickly exported into a variety of programming languages and distributed around teams.
microregex - A catalog of RegEx patterns View Demo · Report Bug · Request Feature Loved the tool? Please consider contributing ✍️ to help it improve!
The repository shows the compiler (simulator) of the Little Man Computer, which also contains some programs in the LMC programming language for implementing different functions.
Little Man Computer The repository shows the compiler (simulator) of the Little Man Computer, which also contains some programs in the LMC programming
Get event details of competitive programming contests, hackathons etc.
UpCoding Mobile App: (https://github.com/sahanmndl/UpCoding-Demo) This project was bootstrapped with Create React App. Available Scripts In the projec
Write "hello world" in your native language, code "hello world" in your favorite programming language!
Hello World, All languages! 🌎 📌 Write "hello world" in your native language, code "hello world" in your favorite language! #hacktoberfest2022 How to
An interactive Bitcoin tutorial for orange-pilled beginners. Illustrates technical Bitcoin concepts using JavaScript and some Bitcoin Core RPC commands. Programming experience is helpful, but not required.
Try Bitcoin Try Bitcoin is an interactive Bitcoin tutorial inspired by and forked from Try Regex, which is inspired by Try Ruby and Try Haskell. It il
Incredible resources (with links) to help up-skill yourselves on various fields. Resources like programming, designing, engineering and much more and completely Open Source.
Shiryoku Incredible resources (with links) to help up-skill yourselves on various fields. Resources like programming, designing, engineering and much
This is a jquery ui sortable helper plugin for handy tree type structure sotable.
Tree Sortable A drag and drop list item sorting and level changing library. Motivation The jQuery-ui's sortable plugin allows us to sort items vertica
100% type-safe query builder for node-postgres :: Generated types, call any function, tree-shakable, implicit type casts, and more
⚠️ This library is currently in alpha. Contributors wanted! tusken Postgres client from a galaxy far, far away. your database is the source-of-truth f
A transpiler from golang's type to typescript's type for collaboration between frontend & backend.
go2type go2type.vercel.app (backup site) A typescript transpiler that convert golang's type to typescript's type. Help front-end developer to work fas
Monitor your code for exposed API keys, tokens, credentials, and high-risk security IaC misconfigurations
Spectral VS Code extension The Spectral VS Code extension is a tool for developers that want to catch security issues (such as credentials, tokens and
This is a project that is in partial fulfillment of our CSCI 318 - Programming Language Concepts class of the Fall 2022 semester in New York Institute of Technology
StreetEasier A hub to search for apartments and roommate matching This project was bootstrapped with Create React App. Want to Test Yourself? 1.) Clon
A web component that allows you to run high level programming languages on your websites (static websites included!)
Code-Runner-Web-Component A web component that allows you to run high level programming languages on your website via the public Piston API Show your
The purpose of this repository is practicing JavaScript Object Oriented Programming.
Portfolio I'm going to build this portfolio in order to show the future projects that I'm going to build and my skills to the employers. Built With HT
Logic programming with JSON.
Cicada Whereabouts Logic programming with JSON. I asked the boy beneath the pines. He said, "The master’s gone alone Herb-picking, somewhere on the mo
To understand the history of SACCOs, a Savings and Credit cooperative otherwise known as a Sacco is a type of corporation that aims at pooling money together.
To understand the history of SACCOs, a Savings and Credit cooperative otherwise known as a Sacco is a type of corporation that aims at pooling money together. Depending on the Saccos, there are different types of supplies of merchandise. These include and are not limited to recognition servers, sedimentation, and call home eggs installation. More to these items include check glades, bankers, checks standing orders and safe detentions, and salary progress.
(WIP) Bilibili-live danmu listener with type.
blive-message-listener Bilibili-live danmu listener with type. Bilibili 直播间弹幕监听器,支持类型输出。 Features 完整的类型支持 Install npm i blive-message-listener Usage
Warvil is an AI bot that seeks to respond to your queries about programming.
Warvil Bot Warvil is an AI bot that seeks to respond to your queries about programming. View Project » View Demo · Report Bug · Request Feature Built
(WIP) Bilibili-live danmu listener with type.
blive-message-listener Bilibili-live danmu listener with type. Bilibili 直播间弹幕监听器,支持类型输出。 Features 完整的类型支持 Install npm i blive-message-listener Usage
Keep the type of storage value unchanged and change array and object directly. Supports listening to the changes and setting expires.
proxy-web-storage A more convenient way to use storage through proxy. try it on codesandbox. Install npm i proxy-web-storage Features Base Keep the ty
A fast and powerful http toolkit that take a list of domains to find active domains and other information such as status-code, title, response-time , server, content-type and many other
HTTPFY curently in beta so you may see problems. Please open a Issue on GitHub and report them! A Incredible fast and Powerful HTTP toolkit Report Bug
Dynamic (Per line/paragraph depend on language you type) RTL/LTR support plugin for Obsidian.md
In the name of Allah Obsidian Dynamic RTL Dynamic (Per line/paragraph depending on the language you type) RTL/LTR support plugin for Obsidian.md Previ
This is a boilerplate for creating your own languages for various use cases. You can even create your own programming language from scratch!
Bootstrap compiler This is a bootstrap compiler that can be used to compile to compiler written in the target language. You can write a compiler in th
This plugin for Obsidian adds commands for increasing/decreasing the blockquote level of the current line or selection(s).
Blockquote Levels This plugin for Obsidian adds commands for increasing/decreasing the blockquote level of the current line or selection(s). Usage The
Projeto construído do evento Next Level Week da Rocketseat
Tecnologias | Projeto | Layout | Licença 🚀 Tecnologias Esse projeto foi desenvolvido com as seguintes tecnologias: Node.js React ReactNative Expo Typ
A probabilistic programming language based on pattern-rewriting
MJr-compiler MJr is a probabilistic programming language based on pattern-rewriting, heavily inspired by MarkovJunior by Maxim Gumin. This project pro
🚀 Final Esports project based on Rocketseat's Next Level Week.
The evolved version of the Esports project on the Next Level Week by Rocketseat. The web client is deployed on Vercel here: https://nlw-esports-ignite
A type programming language which compiles to and interops with type-level TypeScript
Prakaar Prakaar (hindi for "type") is a type programming language which compiles to and interops with type-level TypeScript. Prakaar itself is also a
Compile-time tests for types. Useful to make sure types don't regress into being overly-permissive as changes go in over time.
expect-type Compile-time tests for types. Useful to make sure types don't regress into being overly-permissive as changes go in over time. Similar to
An automated tool help you to transform backend json data to TypeScript type.
ohmyts An automated tool help you to transform backend json data to TypeScript type. Quick Start Vite install npm i @ohmyts/vite -D 🤽 playground play
👩🎤 Headless, type-safe, UI components for the next generation Web3.Storage APIs.
Headless, type-safe, UI components for the next generation Web3.Storage APIs. Documentation beta.ui.web3.storage Examples React Sign up / Sign in Sing
Simple Math Programming Language (SMPL) for the Web
Simple Math Programming Language (SMPL) for the Web SMPL is a math-oriented programming language that can be interpreted in the browser. Its primary u
A starter and demo project for Keycloakify v6 - Component level customization.
A starter/demo project for Keycloakify ⚠️ Please read the two following notices ⚠️ This starter is for Component-level customization, if you only want
A lightweight (~850 B) library for easy mac/window shortcut notation. kbd-txt convert shortcut text depending on the type of OS (window/linux/mac).
kbd-txt A lightweight (~850 B) library for easy mac/window shortcut notation. kbd-txt convert shortcut text depending on the type of OS (window/linux/
End-to-End type safety for REST APIs written in Fastify. Only problem is you have to explicity export and register route handlers. LOL
Chino intelligence in japaneese End-to-End type safety for REST APIs written in Fastify. Only problem is you have to explicity export and register rou
Multi-level contextmenu created in Vanilla Javascript (no css files included)
ContexMenu.js Multi-level ContextMenu Created in Vanilla Javascript (No CSS Files) Import with jsDelivr script src="https://cdn.jsdelivr.net/gh/L1qui
🚀 Using top-level await in AWS Lambda with TypeScript, esbuild and Serverless Framework
🚀 Top-level await in AWS Lamba with TypeScript Articles https://dev.to/oieduardorabelo/top-level-await-in-aws-lamba-with-typescript-1bf0 https://medi
A little utility type package that allows you to access the current TypeScript version from your types.
@phryneas/ts-version A little utility type package that allows you to access the current TypeScript version from your types. import { TSVersion } from
A functional, immutable, type safe and simple dependency injection library inspired by angular.
func-di English | 简体中文 A functional, immutable, type safe and simple dependency injection library inspired by Angular. Why func-di Installation Usage
Very tiny function that checks if an object/array/value is shaped like another, with TypeScript type refining.
@suchipi/has-shape Very tiny (~200B before minification/compression) function that checks if an object/array/value is shaped like another, with TypeSc
PondSocket is a fast, minimalist and bidirectional socket framework for NodeJS.
PondSocket PondSocket is a fast, minimalist and bidirectional socket framework for NodeJS. Pond allows you to think of each action during a sockets li
The interpretation implementation implemented programming language built for fun. I'm currently boring in full stack web development. So, I crafted this one LoL. 👻
What's Wuttyi? Everything is expression 👻 I just developed this tiny programming language because of boring in higher level programming construct. Mo
Collection of benchmarks of functional programming languages and proof assistants.
Functional Benchmarks This repository contains a collection of benchmarks of functional programming languages and proof assistants. It is split in two
Implementing various sorting algorithms in Typescript's type system
Sorta Cool I was on a 10 hour flight with no WiFi, and, bored out of my mind, I thought it would be fun to implement some sorting algorithms in the Ty
Multiple level dropdown works with Bootstrap 5, just like native support.
Bootstrap 5 Multiple Level Dropdown. For Bootstrap 4, please visit Bootstrap 4 Multiple Level Dropdown Using official HTML without adding extra CSS st
🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system
🐬 HypeScript Introduction This is a simplified implementation of TypeScript's type system that's written in TypeScript's type annotations. This means
Type-safe and Promisified API for Web Worker and Iframe
💛 You can help the author become a full-time open-source maintainer by sponsoring him on GitHub. typed-worker Install npm i typed-worker Usage Create
When a person that doesn't know how to create a programming language tries to create a programming language
Kochanowski Online Spróbuj Kochanowskiego bez konfiguracji projektu! https://mmusielik.xyz/projects/kochanowski Instalacja Stwórz nowy projekt przez n
A script that combines a folder of SVG files into a single sprites file and generates type definitions for safe usage.
remix-sprites-example A script that combines a folder of .svg files into a single sprites.svg file and type definitions for safe usage. Technical Over
🔒 The new way to do types in typescript.
Nominal The right way to do types in typescript. Installation npm install nominal-types yarn install nominal-types pnpm install nominal-types Usage
TypeScript type definitions for Bun's JavaScript runtime APIs
Bun TypeScript type definitions These are the type definitions for Bun's JavaScript runtime APIs. Installation Install the bun-types npm package: # ya
A JavaScript library for visualizing Sankey diagrams.
SanKEY.js v1.0.0 last updated: 20.07.2022 Getting started SanKEY.js is a JavaScript data visualization library that provides a simple object-oriented
An open-source Typing-effect Library, That enables potential users to add a typing effect to mere DOM Elements.
Typing Effect Library An open-source Typing-effect Library I created. That enables potential users to add a typing effect to mere DOM Elements. Tool P
Next-level academia! Repository for the Native Overleaf project, attempting to integrate Overleaf with native OS features for macOS, Linux and Windows.
Native Overleaf Overleaf is a fantastic webtool for writing and cooperating on LaTeX documents. However, would it not be even better if it were to beh
🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚
프로그래머를 위한 범주론 본 레파지토리는 Bartosz Milewsk의 Category Theory for Programmers을 번역하며 학습한 레파지토리입니다. 🗂 목차 Part 1. 범주:합성의 본질 타입과 함수 크고 작은 범주 Kleisli Categories
Next-level mongoose caching layer with event based cache clearing
SpeedGoose ## About The Project This project is a next-level mongoose caching library which is fully written in typescript. It's caching on two levels
this project show how to deal with core programming scriptprogramming and local storage
this project show how to deal with core programming scriptprogramming and local storage
Small TS library to type and safely handle `serde` JSON serializations of Rust enums.
rustie-ts TypeScript library with helper types and functions to type-safely handle Rust's serde JSON serialization of Enums. It can also be used stand
Copy/paste detecting GitHub Action for programming source code (jscpd)
dry-code Copy/paste detecting GitHub Action for programming source code with jscpd Action inputs Action input Description Default Value Required optio
A fully type-safe and lightweight internationalization library for all your TypeScript and JavaScript projects.
🌍 typesafe-i18n A fully type-safe and lightweight internationalization library for all your TypeScript and JavaScript projects. Advantages 🐤 lightwe
Simple JSON parse/stringify for the Wren programming language
wren-json Simple JSON parse/stringify for the Wren programming language. Parses strict json and relaxed json Comments Unquoted keys Trailing commas St
✨ A cli can automatically export files of the same type
auto-export A cli can automatically export files Why When you want to export many files of the same type in one folder, you may cost a lot of time to
A compiled-away, type-safe, readable RegExp alternative
🦄 magic-regexp A compiled-away, type-safe, readable RegExp alternative ✨ Changelog 📖 Documentation ▶️ Online playground Features Runtime is zero-dep
Type-safe internationalization (i18n) for Next.js
Type-safe internationalization (i18n) for Next.js Features Usage Examples Scoped translations Change current locale Use JSON files instead of TS for l
🔥 TypeScript type assertion plugin for vitest
TypeScript type assertion plugin for vitest. 📌 This plugin is in alpha version, and will probably stay that way for a long time, it lacks tests (a bi
Find a local sports match that fits your skill level. Built with NextJS and AWS.
MatchUp MatchUp Find local sport matches Beta walkthrough About The Project Looking for a fun and easy way to meet up and play sports with locals in y
Detect browser, and render view according to the detected browser type.
react-browser-detector Detect browser, and render view according to the detected browser type. Installation To install, you can use npm or yarn: npm i
An enhanced VSCode extension for the Move programming language.
Move Analyzer Plus Provides language support for the Move programming language. Install on the VSCode Extension Marketplace: Move Analyzer Plus on the
Course material for a ~10 hours introductionary course for Julia. Topics: Introduction, Parallel Programming, Data Science
Development We use Franklin.jl to generate the lecture material. To do so, simply activate the environment, use Franklin and run the local server: act
UAParser.js - Detect Browser, Engine, OS, CPU, and Device type/model from User-Agent data. Supports browser & node.js environment.
UAParser.js JavaScript library to detect Browser, Engine, OS, CPU, and Device type/model from User-Agent data with relatively small footprint (~17KB m
A JavaScript Library To Make Your Work Work Easier/Faster
Functionality.js About ✍️ This Is A JavaScript Library To Make Your Work Easier/Faster, You Can See Functionalty.js Website From Here Project Created
Obsidian plugin: Type text shortcuts that expand into javascript generated text.
Obsidian Plugin - Text Expander JS (open beta) This Obsidian plugin allows the user to type text shortcuts that are replaced by (or "expanded into") j
POC. Simple plugin-based meta-programming platform on top of Typescript
comp-plugins POC Running: yarn to install dependencies yarn dev to run the script The what The script creates a new typescript compiler instance (prog
Sequential workflow designer written in TypeScript with no dependencies.
Sequential Workflow Designer Sequential workflow designer with no dependencies for web. It's written in pure TypeScript and uses SVG for rendering. Th
CLI tool to add @ts-expect-errors to typescript type errors
suppress-ts-errors Cli tool to add comments to suppress typescript type errors. Add @ts-expect-error or @ts-ignore comments to all locations where err
One-stop Go+ programming language environment manager
InGop (Go+ language) One-stop Go+ programming language environment manager How do I learn the Go+ programming language quickly? Start with installatio
A next-gen framework for type-safe command-line applications
Zors 🥇 Next-gen framework for building modern, type-safe command-line applications. 📦 Tiny (zero dependencies) 💡 Runtime agonistic (supports both D
a vscode extension for http response data auto transform ts type.
Api2ts 这是一个自动将 http 的响应数据转化为 ts 的类型,使用 json-to-ts 做的。 Features 框选配置项后,使用快捷键 alt+Q : 请求参数配置文件 在根目录下创建 Api2ts.config.json 文件,配置项如下: { "baseURL": "http
CTF (Capture The Flag) is a type of information security competition that challenges contestants to find solutions or complete various tasks.
WHAT IS CTF? CTF (Capture The Flag) is a type of information security competition that challenges contestants to find solutions or complete various ta
Find a local sport match that fits your skill level. Built with NextJS and AWS.
MatchUp This is a Next.js project bootstrapped with create-next-app. Getting Started First, run the development server: npm run dev # or yarn dev Open
Simple window.localStorage, with type safety
mini-local-storage simple window.localStorage, with type safety example // localStorage.ts import { createLocalStorage } from "mini-local-storage";
Typesafe API for processing iterable data in TypeScript and JavaScript.
Stream API Type-safe API for processing iterable data in TypeScript and JavaScript similarly to Java 8 Stream API, LINQ or Kotlin Sequences. Unlike Rx
This a programming training app, aimed to help OMRI's students learng the magic world of programming.
OMRI App (fe-omri-app) This a programming training app, aimed to help OMRI's students learng the magic world of programming. Install the dependencies
Handle errors like it's 2022 🔮
Handle errors like it's 2022 🔮 Error handling framework that is minimalist yet featureful. Features Minimalist API Custom error types Wrap any error'
Basic Implementation of a Contract Wallet in Solidity. The owner can transfer Ether/ERC20 and execute transactions via low-level calls.
Contract Wallet Basic Implementation of a Contract Wallet in Solidity. The owner can transfer Ether/ERC20 and execute transactions via low-level calls
The Javascript and canvas port of MarkovJunior : A Probabilistic Programming Language.
MarkovJunior.js MarkovJunior is a probabilistic programming language where programs are combinations of rewrite rules and inference is performed via c
Full type-safe Redis PubSub with Zod
redis-pubsub Full type-safe Redis PubSub system with async iterators Features Type-safety with Zod Out-of-the-box support for Date/Map/Set/BigInt seri
Zero runtime type-safe CSS in the same file as components
macaron comptime-css is now called macaron! macaron is a zero-runtime and type-safe CSS-in-JS library made with performance in mind Powered by vanilla
An open-source visualization library specialized for authoring charts that facilitate data storytelling with a high-level action-driven grammar.
Narrative Chart Introduction Narrative Chart is an open-source visualization library specialized for authoring charts that facilitate data storytellin
A RabbitMQ client for TypeScript, with functional programming in mind.
RabbitMQ-fp Lets feed our Rabbit' nicely 🐰 This repository contains a wrapper over amqplib written in Typescript with an accent of functionnal progra
Personal project to a student schedule classes according his course level. Using GraphQL, Clean Code e Clean Architecture.
classes-scheduler-graphql This is a personal project for student scheduling, with classes according his course level. I intend to make just the backen