octonion / springerView external linksLinks
Automate pulling Springer's free books.
☆12Apr 7, 2020Updated 5 years ago
Alternatives and similar repositories for springer
Users that are interested in springer are comparing it to the libraries listed below
Sorting:
- This is the section website for Geography 178/258, Conceptual Modeling and Programing for the Geo-Sciences, offered at the University of …☆20May 26, 2020Updated 5 years ago
- 👻 Use Neovim to write in your browser. Everything you type in Neovim will be instantly updated in the browser (and vice versa).☆12May 1, 2025Updated 9 months ago
- Code for SemEval-16 Task6 subtaskA and subtaskB.☆10Mar 31, 2016Updated 9 years ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- Self-contained JBIG2 compressor for PDF files☆14Jul 24, 2017Updated 8 years ago
- Derive editors for data types.☆28Oct 5, 2014Updated 11 years ago
- ☆13Sep 14, 2018Updated 7 years ago
- Flask app with D3 integration.☆10Feb 27, 2015Updated 10 years ago
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Jun 8, 2018Updated 7 years ago
- Simple tic-tac-toe using `brick`☆12Nov 18, 2021Updated 4 years ago
- HTTP proxy for authenticating users via OAuth2☆10Sep 6, 2019Updated 6 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 7 years ago
- R Package. Bayesian and nonparametric quantile regression, using Gaussian Processes to model the trend, and Dirichlet Processes, for the …☆11Nov 22, 2019Updated 6 years ago
- Automated Testing and Package Uploading☆12Oct 3, 2018Updated 7 years ago
- A platform for formalizing OEIS sequences in Lean 4☆18Updated this week
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 7 years ago
- A RWS like monad without the slow writer stuff☆12Jun 17, 2023Updated 2 years ago
- Slideshow, papers, and example R scripts to demonstrate shrinkage/partial pooling and prediction in hieararchical models☆15Jan 16, 2015Updated 11 years ago
- The well-known pager, with performance improvements for huge files☆13Sep 23, 2014Updated 11 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Jun 24, 2020Updated 5 years ago
- Disassembly viewer for Vim☆10Mar 12, 2018Updated 7 years ago
- materials for Linear Mixed Effect Modeling workshop☆12Oct 27, 2015Updated 10 years ago
- Write your Reveal.js presentations in Haskell!☆11Sep 12, 2016Updated 9 years ago
- A MCP Server that gives you latest docs and data from the web☆17Jun 29, 2025Updated 7 months ago
- Simple AI CLI that generates docs, unit tests and README.md files☆14Mar 15, 2025Updated 10 months ago
- Tool for analyzing and comparing Web Platform Test (WPT) result files locally.☆11Oct 23, 2024Updated last year
- JBIG2 decoder library☆11Mar 18, 2010Updated 15 years ago
- Blazing fast signature detection☆11Sep 5, 2022Updated 3 years ago
- Windows build environment for Python☆11Dec 2, 2014Updated 11 years ago
- Example usage of the Haskell C FFI with hsc2hs☆12Dec 14, 2024Updated last year
- An extreme condensation of the tutorial for Haskell's Servant (web server and client) library☆11Feb 2, 2018Updated 8 years ago
- Solutions in Haskell to Advent of Code https://adventofcode.com/☆12Dec 13, 2025Updated 2 months ago
- Example how to append data to a Haskell executable using sqlite☆10Mar 16, 2020Updated 5 years ago
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 6 years ago
- Demo application for building a dot density visualization with an interactive legend.☆11Apr 15, 2019Updated 6 years ago
- A language server for GN, and a tiny VSCode extension wrapping the server.☆27Feb 3, 2026Updated last week
- libpurple separate from pidgin.☆33Apr 9, 2014Updated 11 years ago