hxournal : A pen notetaking program written in haskell
☆12Mar 30, 2013Updated 13 years ago
Alternatives and similar repositories for hxournal
Users that are interested in hxournal are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- visual guides for lisp editing☆17Updated this week
- secure backup tool (not maintained)☆17Jun 5, 2020Updated 6 years ago
- socket.io for haskell folks☆24Apr 25, 2015Updated 11 years ago
- A simple keyword search engine using Haskell and Redis☆15Jun 2, 2011Updated 15 years ago
- A fork of python-lastfm mainly to fix bugs and add python2.5 compatibility (see branch python2.5)☆23Mar 15, 2012Updated 14 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Quasiquotation for Swift in Haskell☆10Jun 24, 2014Updated 12 years ago
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 10 years ago
- LGL to DOT converter☆11May 8, 2015Updated 11 years ago
- ☆13Jun 23, 2021Updated 5 years ago
- Indexed Types☆13Sep 4, 2022Updated 4 years ago
- A dashboard for rq-scheduler jobs☆17Dec 26, 2022Updated 3 years ago
- Modified versions of Cabal & Haddock for rendering Annotated HTML with Mouseover Types.☆12Dec 31, 2015Updated 10 years ago
- Arbitrary size tuples in Haskell☆12Feb 27, 2017Updated 9 years ago
- A minimal Python re-implementation of the A* with seed heuristic for exact global alignment (edit distance) in near-linear time☆22Nov 30, 2024Updated last year
- 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.
- Small changes to unity 2d that make using it with xmonad smoother☆16Oct 1, 2015Updated 11 years ago
- webkit javascriptcore library FFI☆16Mar 20, 2025Updated last year
- Flex 3D Tetris Game☆12Nov 3, 2018Updated 8 years ago
- A generator for JSON Schema from Algebraic Data Type in Haskell.☆13Nov 7, 2019Updated 7 years ago
- MSJsonKit是用于Objective-C的json序列化库，基于NSJSONSerialization和objc/runtime.h，可以实现Objective-C对象(包含自定义对象)与json字符串的相互转化☆13Dec 2, 2015Updated 10 years ago
- Framework for building algorithms based on FractalAI theory☆20Nov 23, 2020Updated 5 years ago
- hmetafont is a DSL for creating variable fonts in haskell, inspired by metafont☆11Dec 18, 2016Updated 9 years ago
- Demonstration hybrid Haskell client/server web app, for Polyconf 2014 talk☆10Oct 17, 2014Updated 12 years ago
- ☆12May 10, 2017Updated 9 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Haskell bindings to the GDAL library☆13Jul 26, 2024Updated 2 years ago
- Time Machine for Github files☆18Apr 29, 2020Updated 6 years ago
- Sparse matrix linear equation solver, using the Conjugate Gradient algorithm☆16Sep 5, 2020Updated 6 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 12 years ago
- ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory☆17Aug 22, 2024Updated 2 years ago
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- Port of Android Notepad tutorial to Mirah☆14Nov 27, 2025Updated 11 months ago
- (repo no longer active) vim support for source navigation via scope-aware tags☆13May 2, 2012Updated 14 years ago
- Typesafe, composable SQL in haskell - Talk given at BFPG 2015-09☆11Sep 12, 2015Updated 11 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Optimised ForceAtlas2 simulation using librsvg to allow dynamic graphs directly within emacs buffers without a browser engine.☆33Oct 15, 2026Updated 3 weeks ago
- Haskell numerical ODE solvers☆13Aug 21, 2017Updated 9 years ago
- A simplified implementation of Erlang/OTP like supervisor for GHC thread☆16Oct 29, 2020Updated 6 years ago
- A small, better logger library for C++, which features thread-safe loggers.☆14Jul 22, 2020Updated 6 years ago
- ☆11Oct 30, 2014Updated 12 years ago
- The Wheeler symbolic manipulation library☆14Mar 6, 2013Updated 13 years ago
- A dark colorscheme for 256-color terminal and gui☆14Oct 30, 2019Updated 7 years ago