☆59Jan 11, 2026Updated 7 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☆42Updated this week
- ☆159Jan 9, 2026Updated 7 months ago
- The doenet.org website and related apps☆17Updated this week
- Source Code for 'Practical Haskell, 3rd Edition' by Alejandro Serrano Mena☆13Oct 11, 2022Updated 3 years ago
- ☆33Jan 5, 2016Updated 10 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☆106May 23, 2026Updated 2 months ago
- Haskell bindings for the W3C WebDriver API☆23Aug 19, 2024Updated last year
- Haskell reimplementation of Selecta☆16Jul 17, 2019Updated 7 years ago
- Dice Language Support for VS Code☆10Sep 29, 2020Updated 5 years ago
- Go bindings for the Jupyter protocol☆10Jan 8, 2024Updated 2 years ago
- Rewrite of git-credential-bw-shell in Typescript.☆12Apr 16, 2026Updated 3 months ago
- A mirror of fallingblocks (with minor updates)☆12Apr 16, 2015Updated 11 years ago
- A personal library, formalizing cohesive homotopy type theory in Agda.☆13Apr 30, 2019Updated 7 years ago
- Haskell completion source for Emacs auto-complete package☆16Apr 22, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Sphinx extension for quizdown.js☆15Sep 21, 2022Updated 3 years ago
- Theory of Computing Report☆14Jul 6, 2026Updated last month
- Mirror of https://git.tecosaur.net/tec/ox-pluto☆19Jan 4, 2024Updated 2 years ago
- PreTeXt: an authoring and publishing system for scholarly documents☆456Updated this week
- The website for ACM@UIUC☆11Updated this week
- ☆10Jun 7, 2021Updated 5 years ago
- ☆16Apr 11, 2025Updated last year
- A simple document store library for Git + JSON. | now on https://codeberg.org/valpackett/gitson☆17Oct 15, 2022Updated 3 years ago
- The Chrome Experience User Survey (CUES) extension.☆12Sep 23, 2015Updated 10 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.
- Representing DES in Z3☆16Jul 14, 2023Updated 3 years ago
- Tools for defining and parsing configurations of Haskell applications☆23Mar 5, 2025Updated last year
- Probabilistic Circuits in Julia☆10Dec 27, 2023Updated 2 years ago
- A Ghidra static analysis tool for locating PACMAN Gadgets☆13Sep 1, 2022Updated 3 years ago
- ☆13Oct 31, 2021Updated 4 years ago
- One-dimensional computational topology☆12Apr 22, 2026Updated 3 months ago
- ☆11May 30, 2025Updated last year
- 基于中心度的中文关键短语抽取工具☆11Sep 2, 2022Updated 3 years ago
- Hashing, searching, sorting, tree algorithms, dynamic programming, greedy algorithms, divide and conquer, random number generation, and r…☆10Apr 20, 2018Updated 8 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.
- This module is a tool for calculating correlations such as Partial, Tetrachoric, Intraclass correlation coefficients, Canonical correlati…☆13Jun 17, 2026Updated last month
- Notes for my Calculus courses in college, written in Jupyter Notebooks☆12Jul 31, 2016Updated 10 years ago
- A collection of awesome Purescript libraries, resources and shiny things.☆20Jul 25, 2023Updated 3 years ago
- Writing Observer and Learning Observer: A system for monitoring learning process data, with an initial focus on writing process data from…☆12Aug 4, 2026Updated last week
- Notes on Advanced Placement Physics C: Electricity and Magnetism☆13May 13, 2019Updated 7 years ago
- ☆26Dec 27, 2020Updated 5 years ago
- A repo based on XiLin Li's PSGD repo that extends some of the experiments.☆14Oct 7, 2024Updated last year