A very powerful keyboard layout for Windows, tailored for efficient and convenient output of international alphabetical languages and scientific notation in plain text.
☆17Mar 17, 2026Updated 7 months ago
Alternatives and similar repositories for US-International-Scientific-Keyboard
Users that are interested in US-International-Scientific-Keyboard are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degre…☆11Oct 24, 2016Updated 10 years ago
- Verus-verified implementation of Ironfleet Sharded Hash Table key-value store☆12Sep 22, 2026Updated last month
- A toy programming language you use to build other toys☆13May 15, 2025Updated last year
- This repository provides a GitHub Action for running the Kani Rust Verifier in CI.☆14Sep 20, 2026Updated last month
- Verifying the SCION architecture using Gobra☆12Sep 22, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- a CLI tool for automatically generating bookmarks for PDF documents (i.e. scouting the PDF document for you)☆20Jan 28, 2024Updated 2 years ago
- Reasoning model integration for pydantic-ai's agent☆15Oct 13, 2025Updated last year
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated 2 years ago
- Consume TAP, produce markdown.☆12Mar 29, 2023Updated 3 years ago
- crtrdg entity module☆12Dec 5, 2015Updated 10 years ago
- jpdfbookmarks - fix JPdfBookmarks GUI mode open a pdf have bookmarks include CJK (Chinese , Japanese , Korean ) characters will show like…☆12Sep 4, 2023Updated 3 years ago
- getComputedStyle() with fallback☆15Mar 3, 2016Updated 10 years ago
- Tabula Rasa Tic-Tac-Toe☆10Jan 3, 2019Updated 7 years ago
- Generate and merge table of contents for markdown file . Add it to README.md or other files☆10May 7, 2023Updated 3 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.
- Updates part of Markdown document☆12Nov 24, 2015Updated 10 years ago
- Checker for "morally correct" induction proofs about haskell programs☆11Mar 16, 2022Updated 4 years ago
- Find out on whose work your project is based on☆11Oct 2, 2018Updated 8 years ago
- BleachBit documentation☆13Updated this week
- Runs files through filter to their default associated action with OnSave event (or on request) [for Notepad++ using PythonScript]☆11Mar 8, 2019Updated 7 years ago
- GitHub Action to copy issues to another repository☆11Apr 13, 2026Updated 6 months ago
- ☆11Nov 4, 2015Updated 11 years ago
- A browserify transform for polymer web-component☆11Jan 14, 2015Updated 11 years ago
- Chrome extension to enable and disable other extensions quickly☆14Oct 14, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A dynamic, stack-based concatenative toy programming language.☆14Mar 12, 2022Updated 4 years ago
- A skill (and drop-in prompt) that turns critical thinking into the default behavior of any LLM. Synthesis of Sagan, Karpathy, Lifton, and…☆19Oct 26, 2026Updated last week
- ☆12Jul 15, 2018Updated 8 years ago
- Ruby MultiMarkdown wrapper☆14Dec 29, 2025Updated 10 months ago
- JavaScript/D3 Version☆11Sep 13, 2014Updated 12 years ago
- ☆12May 1, 2021Updated 5 years ago
- oldschool node module starter☆12Oct 18, 2026Updated 2 weeks ago
- A Pandoc Markdown Parser and Pandoc Operations Library for Markdown Monster☆11Aug 20, 2026Updated 2 months ago
- An attempt to bring forum features to Discord.☆10Oct 17, 2020Updated 6 years 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.
- Diff two unist trees☆15Aug 21, 2020Updated 6 years ago
- Chromium extension to send a page to a e-mail recipient.☆13Aug 28, 2024Updated 2 years ago
- Moved to https://html.spec.whatwg.org/multipage/web-sockets.html☆12Jan 20, 2022Updated 4 years ago
- Plugins for po, html and gz files☆15Jun 2, 2026Updated 5 months ago
- A template for building a static site using bower, grunt, and various grunt tasks, including assemble.☆12Nov 12, 2013Updated 12 years ago
- Makes URLs prettier by removing the protocol prefix.☆10Jan 26, 2025Updated last year
- Pattern matching in JavaScript☆11Apr 8, 2019Updated 7 years ago