Mirror only, DO NOT SUBMIT PR
☆32Jun 9, 2025Updated last year
Alternatives and similar repositories for mirror
Users that are interested in mirror are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Mirror of the TeXmacs SVN repository (https://savannah.gnu.org/projects/texmacs) and some related experimental code☆16Updated this week
- Automate building of TeXmacs on windows using MSys2/Mingw-w32☆10Jun 20, 2022Updated 4 years ago
- ☆13Mar 23, 2019Updated 7 years ago
- Akka Chinese Book / What should be included in it?☆18Apr 10, 2017Updated 9 years ago
- presentation material for 2018-09-02 scala meetup☆11Oct 21, 2018Updated 7 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.
- Collection of builtin GNU TeXmacs plugins☆46Aug 4, 2025Updated last year
- ☆46Jul 19, 2018Updated 8 years ago
- TeXmacs for Windows (build in MSys2/Mingw32 environment)☆28Dec 31, 2023Updated 2 years ago
- 煎饼果子的N种做法☆19Jan 11, 2018Updated 8 years ago
- Mirror of the GNU TeXmacs SVN☆657Updated this week
- Kernel part subproject for GNU TeXmacs, GSoC only☆36Nov 9, 2019Updated 6 years ago
- iCalendar/vCard parser for GNU Guile.☆12Jun 7, 2026Updated 4 months ago
- DEPRECATED REPO Mirror of the TeXmacs svn repository, using git-svn. Also contains guile-2.0 branch from gitorious.org/texmacs/thlai-tex…☆15Oct 6, 2017Updated 9 years ago
- Xmacs renamed to Mogan☆34Jan 9, 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.
- Immutable empty and singleton collections☆13Mar 2, 2023Updated 3 years ago
- Notes about TeXmacs☆29Jul 22, 2025Updated last year
- ☆12Jan 6, 2026Updated 9 months ago
- OCaml implementation of Fiat-Shamir Zero Knowledge Proof system as a client/server authentication protocol☆11Feb 7, 2017Updated 9 years ago
- Reactive Platform 中国用户组☆16Jan 15, 2016Updated 10 years ago
- Libraries for Ypsilon Scheme☆27Jun 10, 2010Updated 16 years ago
- OAuth module for Guile☆21Jan 2, 2023Updated 3 years ago
- A Julian abstraction layer over FreeType.jl☆25Jun 11, 2025Updated last year
- China Scala User Group☆38Oct 15, 2018Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆22Aug 7, 2020Updated 6 years ago
- 设计一个用TiKZ绘制流程的宏包。☆24Aug 23, 2019Updated 7 years ago
- Pluto's dependency sorting algorithm☆11Jul 2, 2026Updated 3 months ago
- Importers from various blog formats to org2blog format☆13Aug 4, 2022Updated 4 years ago
- A Microsoft Office add-in which allows users to embed LaTeX codes into Word, Excel, and PowerPoint.☆13May 9, 2017Updated 9 years ago
- scala SQL api☆88Aug 20, 2026Updated last month
- A Scala wrapper for Apache POI's Excel API.☆11Jan 8, 2020Updated 6 years ago
- M#! Distributed shell pipelines with GNU Guile.☆14Dec 28, 2020Updated 5 years ago
- ☆16Oct 26, 2017Updated 8 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.
- GNAT-AUX / GCC-AUX / Draco Ada compiler development☆18Sep 9, 2026Updated last month
- This library enables to use ZooKeeper as cluster coordinator in a ConstructR based cluster☆12Dec 2, 2017Updated 8 years ago
- This platform enables parents, care takers or volunteers to collaboratively measure their child's progress against development models, tr…☆16Jan 4, 2016Updated 10 years ago
- Build integrator for Java, Scala, Scala.macro, Scala.js, Scala.native, Eclipse and Maven.☆50May 2, 2019Updated 7 years ago
- Implementations of the compilers and VMs from R. Kent Dybvig's "Three Implementation Models for Scheme." Each file is named after the se…☆23Apr 22, 2010Updated 16 years ago
- let your hamster log your work to your favorite bugtracker☆14Jan 2, 2020Updated 6 years ago
- C++ Project of Panda3D Render Pipeline (Python)☆14Aug 23, 2019Updated 7 years ago