Introduction to UNIX
☆14Dec 2, 2013Updated 12 years ago
Alternatives and similar repositories for bootcamp-unix
Users that are interested in bootcamp-unix are comparing it to the libraries listed below
Sorting:
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- A curated list of awesome Extra resources☆12Mar 10, 2016Updated 10 years ago
- Combinators in C☆37Jun 5, 2012Updated 13 years ago
- Travis builds for certbot.eff.org☆12Jan 19, 2022Updated 4 years ago
- collection of example documents for use within cocalc's library☆16Sep 11, 2025Updated 6 months ago
- Mini installer that contains everything that's necessary to run rhumba☆14May 18, 2021Updated 4 years ago
- Auto-generated sphinx version of the IPython website. Since this is an auto-generated directory, do *not* submit pull requests against th…☆11Jan 3, 2026Updated 2 months ago
- A conda-smithy repository for jupyterlab.☆13Updated this week
- Docker container for an OCaml + OPAM setup☆24Nov 28, 2016Updated 9 years ago
- A Java based renderer for algebraic surfaces.☆16Mar 29, 2023Updated 2 years ago
- Jupyter wrapper kernel for singular☆11Jun 12, 2024Updated last year
- Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations☆18Dec 15, 2012Updated 13 years ago
- Add-on package providing math-related fortune wisdom and cowsay cows.☆13Dec 3, 2016Updated 9 years ago
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆11Sep 4, 2024Updated last year
- Multinomials for the Mathematical Components library.☆16Mar 3, 2026Updated 2 weeks ago
- ☆10May 25, 2017Updated 8 years ago
- A web UI for exploring Mamba environments☆12Sep 16, 2020Updated 5 years ago
- An OpenMath 2.0 implementation in Python☆17May 22, 2020Updated 5 years ago
- Compile and run relocatable Linux programs☆85Jan 20, 2017Updated 9 years ago
- The PhosphorJS Website☆12Nov 5, 2018Updated 7 years ago
- Web server for IOCaml☆23Jun 24, 2017Updated 8 years ago
- Snake in a box, conda environments to go☆12Feb 10, 2017Updated 9 years ago
- A conda-smithy repository for cling.☆12Updated this week
- ☆15Feb 15, 2023Updated 3 years ago
- Affine arithmetic in Julia☆12Sep 8, 2025Updated 6 months ago
- Flat surfaces in SageMath☆11Feb 2, 2026Updated last month
- Providing default representations of common objects in Python land☆20Aug 23, 2017Updated 8 years ago
- Tools for creating binary tarballs☆16Aug 23, 2021Updated 4 years ago
- Visualize subsets of PSL(2,R) in exterior solid torus model☆13Aug 20, 2020Updated 5 years ago
- ☆14Jun 14, 2025Updated 9 months ago
- Code for our local jupyterhub install☆18Feb 28, 2018Updated 8 years ago
- contributions to Giac computer algebra system☆14Apr 1, 2023Updated 2 years ago
- A visual graph editor widget for SageMath☆10Jun 21, 2022Updated 3 years ago
- A conda-smithy repository for boost.☆17Updated this week
- Sources for OpenDreamKit's website☆16Feb 23, 2024Updated 2 years ago
- Combinatorial Matrix Recognition☆14Jan 22, 2026Updated 2 months ago
- Tutorial for Vagrant boxes and related technologies such as virtualenv.☆12Sep 18, 2016Updated 9 years ago
- Some utilities for managing shared directories for littlest jupyter hub users☆15Jun 27, 2022Updated 3 years ago
- Teichmüller dynamics in SageMath☆14Mar 2, 2026Updated 2 weeks ago