TypeScript type-level execution tool
☆11Apr 9, 2023Updated 3 years ago
Alternatives and similar repositories for compile-time-typescript
Users that are interested in compile-time-typescript are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Custom JS and CSS made by hideo54.☆10Sep 22, 2022Updated 4 years ago
- ☆10Nov 23, 2021Updated 4 years ago
- ☆10Apr 29, 2023Updated 3 years ago
- TSGが制作しているプログラミング風パズルゲーム☆26Nov 30, 2023Updated 2 years ago
- Open source implementation of the SOQL.☆16Mar 14, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- [+.<] Win the esolang master!!!☆12Apr 8, 2025Updated last year
- A Minesweeper-driven esolang.☆11Jun 13, 2025Updated last year
- 論文を読んだふりしてライバルに差をつけろ☆17Dec 31, 2016Updated 9 years ago
- Tombo SP☆14Dec 3, 2019Updated 6 years ago
- Customized Mastodon☆11Aug 22, 2018Updated 8 years ago
- Algebraic effects and handlers for TypeScript☆25Jul 20, 2026Updated 3 months ago
- A **true** pattern matching library for JavaScript/ TypeScript☆44Aug 13, 2025Updated last year
- ☆22Jan 6, 2023Updated 3 years ago
- ☆21Jun 15, 2026Updated 4 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An Elm homage to ClockClock 24 by Humans since 1982.☆14Sep 24, 2018Updated 8 years ago
- A fork of Cerberus C adding a Lean 4 port of the semantics☆15Updated this week
- ☆23Aug 31, 2025Updated last year
- Fast Lightweight eXtensible BLog Engine☆23Oct 11, 2019Updated 7 years ago
- Don't use JSX like this☆15Sep 20, 2018Updated 8 years ago
- Python implementation of lstar automata learning algorithm.☆10Jan 23, 2024Updated 2 years ago
- material for my students☆14May 7, 2021Updated 5 years ago
- low-level bindings to libseccomp☆12Mar 6, 2021Updated 5 years ago
- Port of ac-library implemented in Crystal Programming Language☆42Nov 28, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- OCaml implementation of histogram-approximation algorithm☆15Oct 28, 2022Updated 4 years ago
- For the RubyVM::InstructionSequence freaks. It will apply RubyVM::InstructionSequence#load, and so on. (Maybe in the future :-P)☆13Mar 17, 2010Updated 16 years ago
- Easy and standardized docker images for 200+ esoteric (and non-esoteric) languages.☆78Jun 11, 2026Updated 4 months ago
- FOLIO data to slack☆12Aug 21, 2023Updated 3 years ago
- Challenge repository for the watevrCTF 2019 CTF competition☆36Jun 6, 2022Updated 4 years ago
- ☆14Sep 2, 2021Updated 5 years ago
- aheui in C☆14Jan 9, 2018Updated 8 years ago
- Collection of my notebooks taken in UT☆28Feb 20, 2021Updated 5 years ago
- ISUNARABE の練習 VM 用イメージをビルドするためのパイプライン☆11Mar 20, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆13Sep 7, 2026Updated last month
- yet another toy OCaml interpreter in Haskell☆12Jul 5, 2020Updated 6 years ago
- libs_qrem is a python package written in C++/Cython that executes quantum readout error mitigation (QREM) efficiently even for large meas…☆12Jan 10, 2026Updated 9 months ago
- Tools for testing and verifying the safety and correctness of C programs.☆19May 5, 2025Updated last year
- Use the browser to control your computer.☆11Sep 17, 2021Updated 5 years ago
- Power Assert instrumentor module for webpack☆16Feb 26, 2018Updated 8 years ago
- Ruby parser and LSP in Rust☆20Jul 23, 2022Updated 4 years ago