Adding programming ligatures to my favorite DejaVu Sans Mono
☆18Aug 29, 2016Updated 9 years ago
Alternatives and similar repositories for dv-code-font
Users that are interested in dv-code-font are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tool for injecting .net library in native process (or not native with some limitations).☆16Jul 12, 2012Updated 14 years ago
- 每天一个JavaScript项目挑战，30天玩转JavaScript,免费视频：http://www.kongyixueyuan.com☆16Aug 8, 2018Updated 7 years ago
- [փ] Varvara/⋃⨉⋂ Emulator and Tal Assembler in Julia.☆15Mar 1, 2024Updated 2 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- a library that defines a common interface for working with archive formats within node☆16Updated this week
- 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.
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆17Jan 6, 2026Updated 6 months ago
- A nix flake that provides various fonts that aren't in nixpkgs.☆18Jul 16, 2023Updated 3 years ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆18Jul 30, 2020Updated 5 years ago
- Yoneda lemma in every known language☆19Apr 2, 2026Updated 3 months ago
- Run your testcase by vitest.☆25Feb 29, 2024Updated 2 years ago
- setup Crystal action for GitHub Actions.☆11Mar 7, 2024Updated 2 years ago
- Scripts for building OpenVPN TAP adapter used in ProtonVPN Windows app☆20Jan 16, 2020Updated 6 years ago
- An Agda library for programming with ternary relations☆18Apr 9, 2025Updated last year
- Add ligature feature to IBM Plex Mono.☆27Apr 2, 2026Updated 3 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Indicate anchors in a web page☆11Feb 5, 2026Updated 5 months ago
- Experiments with Realizability in Univalent Type Theory☆20Oct 21, 2024Updated last year
- TFS Source Control History Visualization☆19Mar 17, 2019Updated 7 years ago
- HID driver for Linux that supports side buttons of Xiaomi Mi Silent Mouse☆24Nov 9, 2021Updated 4 years ago
- Generate GitHub Actions matrix on the fly based on your constraints☆12Updated this week
- Experiments with higher-order abstract syntax in Agda☆23Jul 14, 2022Updated 4 years ago
- Type-safe (bit)flags for python 3☆34Feb 5, 2021Updated 5 years ago
- docrystal.org hosts documentation for Crystal packages on GitHub☆16Nov 3, 2015Updated 10 years ago
- A simple thread-safe generic pool.☆14Jan 24, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Arthur's Formal Metatheory in Coq☆21Feb 6, 2026Updated 5 months ago
- A WebExtension to close tabs to the right of the selected one.☆18Mar 17, 2023Updated 3 years ago
- Type-Level Regular Expressions matching with TypeScript☆23Apr 14, 2023Updated 3 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Jul 5, 2026Updated 2 weeks ago
- Locate files and folders starting with the current folders in FMAN☆22Sep 18, 2018Updated 7 years ago
- Plugin to clang's static analyzer with PHP specific tests☆12Jan 27, 2015Updated 11 years ago
- A custom 8-bit computer and software suite☆24Oct 10, 2021Updated 4 years ago
- Crystal bindings for libxdo (xdotool)☆16Jul 5, 2023Updated 3 years ago
- ☆37Jul 3, 2024Updated 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.
- Source code for Let’s Build a Websocket Chat Project With Rust and Yew 0.19 Post☆21Feb 14, 2022Updated 4 years ago
- Simulator of JavaPOS devices. http://code.google.com/p/pos-device-simulator/☆18Jul 5, 2012Updated 14 years ago
- Encode audioBuffer to wave or mp3 using an unified API☆38Dec 30, 2021Updated 4 years ago
- GRPC client-server exercise to explore unary and streaming requests☆11Oct 5, 2023Updated 2 years ago
- A service to test mail servers for best practices.☆37Jul 3, 2018Updated 8 years ago
- ZNC channel filter module for identified clients☆16Sep 27, 2015Updated 10 years ago
- Revised Omega-categorical Typechecker☆27Nov 3, 2024Updated last year