DefinitelyTyped documentation-generator source + gh-pages
☆12Jun 26, 2014Updated 12 years ago
Alternatives and similar repositories for docs
Users that are interested in docs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Nov 21, 2025Updated 11 months ago
- Automatically generate nuget packages for the DefinetlyTyped TypeScript definitions.☆26Nov 1, 2018Updated 7 years ago
- DEPRECATED - No longer maintained! Mojito is a JavaScript framework, heavily inspired by Angular, which brings the benefits of components…☆12Dec 6, 2019Updated 6 years ago
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 3 years ago
- Grunt plugin to automate TSD and TypeScript definition related tasks☆16Feb 21, 2016Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- C++11 port of the Diff, Match and Patch libraries for Plain Text.☆12Mar 4, 2014Updated 12 years ago
- Overview on OSS repositories for the Austrian implementation of the EU Digital COVID Certificates☆12Dec 7, 2022Updated 3 years ago
- Deploy and interact with Gnosis Safe contracts☆20Mar 17, 2025Updated last year
- Starter for React projects using Atomic design structure with support to both JSX and TSX, using SASS/SCSS, Eslint, Prettier, Tailwindcss…☆20Jul 4, 2022Updated 4 years ago
- Syntax highlighting plugin for Eclipse☆12Apr 15, 2020Updated 6 years ago
- 梯子, http(s)代理, 加密翻墙代理☆12Dec 18, 2015Updated 10 years ago
- ☆17Oct 24, 2025Updated last year
- Simple, fast, zero-dependency Cron expression evaluator for Java 8☆13Aug 31, 2016Updated 10 years ago
- logic programming in elixir☆10Nov 1, 2018Updated 7 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Grunt plugin to generate TypeScript docs with TypeDoc☆17Feb 6, 2022Updated 4 years ago
- Provides completion, hyperlink, hover inside WTP HTML editor for Web Resources (CSS, JS, Images)☆13Aug 3, 2016Updated 10 years ago
- ext.js typescript definition generator code☆14Dec 13, 2012Updated 13 years ago
- ☆16Oct 17, 2025Updated last year
- Theorems that rule this multiverse☆11Oct 6, 2018Updated 8 years ago
- ☆20Mar 26, 2025Updated last year
- EPUB to PDF converter using WebKitGtk☆10Apr 4, 2015Updated 11 years ago
- paper town template sites☆10Jul 16, 2018Updated 8 years ago
- ☆11Feb 16, 2026Updated 8 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- a simple wraper for local/session storage DOM API management☆16Jun 8, 2013Updated 13 years ago
- ☆10Nov 14, 2018Updated 7 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 6 years ago
- Digital Ocean Tutorials 上一些文章的翻译，主要为运维相关。https://www.digitalocean.com/community/tutorials☆12Jun 6, 2016Updated 10 years ago
- Qt layout with sidebar☆15Dec 21, 2017Updated 8 years ago
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 4 years ago
- Multiplatform SFTP Application Written in Qt☆14Jul 19, 2020Updated 6 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 8 years ago
- DoctorJS--, simple type inference for JavaScript☆16Dec 23, 2012Updated 13 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Scala 3 Standard Library with bracket syntax.☆11Jul 10, 2021Updated 5 years ago
- A wrapper around ZeroMQ with Futures for use on Tokio's executors☆11Sep 12, 2018Updated 8 years ago
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated last year
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- Easy JSON formats for any case classes, for Scala, ScalaJS and Scala Native☆11Sep 12, 2018Updated 8 years ago
- A Browserify plugin to target Adobe ExtendScript environments in Illustrator, InDesign, and Photoshop☆13Apr 19, 2014Updated 12 years ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆12Jun 15, 2014Updated 12 years ago