Kernel part subproject for GNU TeXmacs, GSoC only
☆36Nov 9, 2019Updated 6 years ago
Alternatives and similar repositories for kernel
Users that are interested in kernel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Collection of builtin GNU TeXmacs plugins☆45Aug 4, 2025Updated 8 months ago
- Automate building of TeXmacs on windows using MSys2/Mingw-w32☆10Jun 20, 2022Updated 3 years ago
- Mirror only, DO NOT SUBMIT PR☆32Jun 9, 2025Updated 10 months ago
- Example of using s7 Scheme with web assembly and emscripten☆16Jul 29, 2023Updated 2 years ago
- Relational implementation of the CESK machine☆21Jul 15, 2013Updated 12 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.
- ☆19Aug 22, 2024Updated last year
- Have Zotero interact with TeXmacs☆23Feb 12, 2026Updated 2 months ago
- TeXmacs文档翻译☆25Jun 22, 2019Updated 6 years ago
- Mirror of the GNU TeXmacs SVN☆650Updated this week
- Implementations of the compilers and VMs from R. Kent Dybvig's "Three Implementation Models for Scheme." Each file is named after the se…☆24Apr 22, 2010Updated 16 years ago
- A markdown converter plugin for TeXmacs☆27Oct 24, 2023Updated 2 years ago
- TeXmacs plugin for the Julia language☆18Jan 18, 2025Updated last year
- My COSCUP 2013 topic: "Org-Mode: Emacs' Swiss Army Knife" resource and slide☆20May 5, 2015Updated 10 years ago
- S. Tucker Taft's M6800 LISP Interpreter (BYTE August 1979)☆14Jan 15, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Numerical Optimisation Library☆17Jul 9, 2023Updated 2 years ago
- Simply tool that proxies http-server over Hyperswarm☆28Oct 18, 2021Updated 4 years ago
- META II compiler, assembler and bytecode interpreter.☆18Jan 20, 2026Updated 3 months ago
- A Mediawiki extension : Use Unicode IDS to resolve ancient Chinese lacking characters.☆16Nov 20, 2016Updated 9 years ago
- Notes about TeXmacs☆30Jul 22, 2025Updated 9 months ago
- A scheduler independent blocking mechanism☆19Feb 15, 2024Updated 2 years ago
- Hexo theme suited for coding blogs, bootstrap based☆11Aug 20, 2018Updated 7 years ago
- A prototype to write blog posts with executable ocaml code blocks☆10Apr 25, 2025Updated last year
- Algorithms and datastructures for phylogenetics☆14Dec 24, 2025Updated 4 months 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.
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Apr 12, 2026Updated 2 weeks ago
- TeXmacs for Windows (build in MSys2/Mingw32 environment)☆28Dec 31, 2023Updated 2 years ago
- OCaml bindings for the Integer Set Library.☆13Jun 12, 2014Updated 11 years ago
- Fast vectorized bitarrays for OCaml☆16Jul 11, 2023Updated 2 years ago
- A tool for laying out figures with geometric constraints☆20Dec 5, 2025Updated 4 months ago
- An algorithm for parsing any planning problem in PDDL format☆15Sep 16, 2016Updated 9 years ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆60Aug 17, 2024Updated last year
- C/C++工具库，包涵一些常用的类，函数等☆11Jun 20, 2013Updated 12 years ago
- Coroutine implementation for C++11☆18Apr 14, 2012Updated 14 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.
- Stop AutoPlay Next for YouTube™ permanently disables YouTube from auto-playing the next suggested track by rejecting access to a module t…☆16Jul 27, 2025Updated 9 months ago
- [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)☆14Aug 3, 2021Updated 4 years ago
- Paste things in the same order in which you copied them☆25Dec 23, 2022Updated 3 years ago
- Clojure in Small Pieces -- Literate Clojure - Created by Tim Daly☆14Dec 25, 2016Updated 9 years ago
- scripts to help make opensuse builds reproducible☆13Nov 15, 2025Updated 5 months ago
- Edward Tufte on GitHub☆17Apr 9, 2016Updated 10 years ago
- An homage to Hollow Knight☆18May 8, 2024Updated last year