☆59Jan 11, 2026Updated 4 months ago
Alternatives and similar repositories for server
Users that are interested in server are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Author tools for creating Ximera activities☆42Apr 27, 2026Updated 3 weeks ago
- ☆15May 23, 2017Updated 8 years ago
- Advanced-Programming☆25Jun 18, 2024Updated last year
- Library to perform batches of asynchronous disk IO operations. Implemented using Linux io_uring API.☆19Apr 30, 2026Updated 2 weeks ago
- A topological data analysis library for Haskell☆29Mar 16, 2021Updated 5 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.
- Emacs front end for SageMath☆105May 4, 2024Updated 2 years ago
- Haskell bindings for the W3C WebDriver API☆23Aug 19, 2024Updated last year
- ☆13May 22, 2024Updated last year
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 6 years ago
- PreTeXt: an authoring and publishing system for scholarly documents☆442May 13, 2026Updated last week
- Haskell reimplementation of Selecta☆16Jul 17, 2019Updated 6 years ago
- Rewrite of git-credential-bw-shell in Typescript.☆12Apr 16, 2026Updated last month
- ☆11Aug 28, 2025Updated 8 months ago
- R7RS compliant Scheme implementation in JavaScript (Work in Progress)☆18Oct 22, 2015Updated 10 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- An AI-assisted web-based learning platform for Python programming, featuring interactive tasks, real-time feedback, and AI-generated code…☆22Nov 16, 2023Updated 2 years ago
- Haskell + Nix project setup Cookiecutter template☆11Feb 19, 2021Updated 5 years ago
- pbrisbin.com source code, using the Yesod haskell web framework☆25Sep 30, 2025Updated 7 months ago
- A type theory for tiny objects☆19Mar 6, 2026Updated 2 months ago
- Sphinx extension for quizdown.js☆15Sep 21, 2022Updated 3 years ago
- A database of programming languages.☆13Feb 4, 2025Updated last year
- Embed LaTeX in standards-compliant markdown.☆215Sep 8, 2015Updated 10 years ago
- My project for the Wolfram Summer Camp 2019☆15Jul 12, 2019Updated 6 years ago
- Sebastian Graz's personal portfolio☆11Feb 4, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Code for my blog☆11Feb 26, 2017Updated 9 years ago
- A Python 3D modelling API for generating OpenSCAD source code as well as STL files directly. This library simplifies the creating of 3D m…☆16Dec 3, 2025Updated 5 months ago
- my bachelor's thesis in SJTU about https://github.com/caicloud/cyclone☆12Jan 4, 2018Updated 8 years ago
- A Clang/LLVM add-on to enforce coding rules☆34Nov 15, 2013Updated 12 years ago
- Fork of react-basic-starter using Package sets☆24May 22, 2019Updated 6 years ago
- Monorepo for challenges, infra, and theming for UIUCTF 2024 (https://2024.uiuc.tf/)☆17Jul 14, 2024Updated last year
- ☆16Apr 11, 2025Updated last year
- Representing DES in Z3☆16Jul 14, 2023Updated 2 years ago
- FRP tetris in Haskell with Netwire.☆19Sep 28, 2014Updated 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A Ghidra static analysis tool for locating PACMAN Gadgets☆13Sep 1, 2022Updated 3 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- PowerShell によって Windows10 のキッティングに必要な全工程を自動的に完了。☆12Jun 10, 2025Updated 11 months ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆15May 11, 2026Updated last week
- ☆10Dec 5, 2023Updated 2 years ago
- Google Summer of Code 2012 project, GHCi for the web☆52Aug 20, 2012Updated 13 years ago
- A collection of MathJax extensions provided by third-party contributors☆10Oct 23, 2017Updated 8 years ago