Code related to things I post about online
☆21Mar 7, 2016Updated 10 years ago
Alternatives and similar repositories for publicstuff
Users that are interested in publicstuff are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Small example of a Nix-built servant-server with a reflex-dom client.☆12Feb 5, 2018Updated 8 years ago
- Reification of data structures using observable sharing☆30Oct 27, 2024Updated last year
- LINQ for C++11 done right☆15Feb 18, 2016Updated 10 years ago
- QUICr parametric abstract domain for sets☆13Jul 2, 2015Updated 10 years ago
- A low-overhead, task-based threading API using a thread-pool of C++11 threads☆11Oct 29, 2018Updated 7 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A tool for translating imperative programs to CSP.☆13Feb 7, 2017Updated 9 years ago
- An example of back-propagation implemented in Haskell.☆26Nov 7, 2014Updated 11 years ago
- Port of .NET LINQ operators in C++☆10Nov 23, 2017Updated 8 years ago
- fork of Xml-light☆21Sep 8, 2025Updated 9 months ago
- A lightweight compile-time, header-only, dimensional analysis and unit conversion library built on c++11 with no dependencies☆18Jun 24, 2017Updated 8 years ago
- A template set for writing semantics in LaTeX☆12Aug 17, 2015Updated 10 years ago
- c extended library☆11Jun 5, 2026Updated last week
- Drafting with signed distance fields☆28Jan 6, 2023Updated 3 years ago
- ☆36Jun 1, 2026Updated 2 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Yet another .NET-like LINQ library written in C++. It supports lazy evaluations and implements almost all LINQ methods.☆14Aug 17, 2019Updated 6 years ago
- a Parallel Integration Scheme Organizer for partial differential equations solvers☆50Oct 9, 2016Updated 9 years ago
- ☆16Feb 20, 2019Updated 7 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- Ocaml library to control Firmata boards like Arduino☆20Oct 24, 2016Updated 9 years ago
- The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in …☆24Aug 10, 2013Updated 12 years ago
- ☆18Jan 6, 2024Updated 2 years ago
- Delay Differential Equations in Haskell☆11Dec 4, 2018Updated 7 years ago
- Haskell STUN (Session Traversal Utilities for NAT) implementation☆14Dec 19, 2021Updated 4 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.
- A Clojure library for writing difference equations☆13Jul 15, 2017Updated 8 years ago
- tla-mode for emacs☆23Apr 27, 2021Updated 5 years ago
- Bindings to the various POSIX APIs☆29Mar 8, 2026Updated 3 months ago
- ☆23Dec 16, 2024Updated last year
- Handbook for Octokit maintainers and GitHub integrators☆11Mar 21, 2024Updated 2 years ago
- AWS virtual infrastructure simulator for training reinforcement learning based cloud capacity management systems☆11Sep 23, 2020Updated 5 years ago
- scraps and bits and bobs☆13Jul 28, 2022Updated 3 years ago
- Static code analysis using graph-theoretic techniques☆27May 29, 2022Updated 4 years ago
- NES programming in Haskell? No way!☆39Dec 2, 2015Updated 10 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- IHaskell notebooks showing how Haskell can be used in Astronomy.☆23Apr 23, 2015Updated 11 years ago
- GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2☆20Jun 10, 2019Updated 7 years ago
- First Haskell implementations of Fran/FRP☆34Jan 31, 2019Updated 7 years ago
- A simple script for keeping a file encrypted but still editing it. A common use is for managing a file containing passwords.☆20Mar 6, 2014Updated 12 years ago
- This project is a conversion of the source code from VHDL BY EXAMPLE by Blaine C. Readler, and some slightly modfied examples from the C…☆10Sep 4, 2017Updated 8 years ago
- Racket bindings for Z3☆24May 11, 2019Updated 7 years ago
- A Clojure DSL for math and numerical work☆12Feb 15, 2016Updated 10 years ago