A personal wiki for Atom
☆12Jun 8, 2016Updated 10 years ago
Alternatives and similar repositories for awiki
Users that are interested in awiki are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scala library to control docker containers programmatically☆12Jan 9, 2025Updated last year
- Repository containing all kinds of different configuration possibilities for the gradle-release plugin☆14Apr 7, 2023Updated 3 years ago
- Spark Workshop notebooks from Scala World 2017☆11Apr 9, 2019Updated 7 years ago
- Topic and project suggestions for ScalaxHack 2016.☆10Dec 11, 2016Updated 9 years ago
- 📃 reMarkable 2 template for time block planning☆13Apr 5, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Obisidian plugin for Smort☆18Apr 6, 2022Updated 4 years ago
- Single source publishing for vertical writing☆11Mar 15, 2021Updated 5 years ago
- Resources for KGC: languages/tools/evaluation-systems☆15Oct 13, 2020Updated 6 years ago
- Reads a Bibliography-file (.json) with academic references and renders it as footnotes at the end of the page. Allows for a variety of st…☆12Jul 3, 2023Updated 3 years ago
- Erlang Programming Exercises☆17Feb 27, 2012Updated 14 years ago
- In tree calculus, typing becomes programming. The paper is supported by proofs in Rocq☆18Updated this week
- ☆10Dec 15, 2018Updated 7 years ago
- A Python library to add reconstructed pronunciations of Middle Chinese on Chinese texts☆11Mar 13, 2023Updated 3 years ago
- Examples of divide-and-conquer recursion in Coq, based on our POPL 2023 paper "A Type-Based Approach to Divide-and-Conquer Recursion in C…☆10Dec 16, 2024Updated last year
- 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.
- Seamless client-side encryption for Workflowy☆15Oct 11, 2026Updated 3 weeks ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Atom package to add wiki-style links between notes☆21Jun 3, 2021Updated 5 years ago
- Fojiao zhuanji wenxue 佛教傳記文學 project at Dharma Drum Buddhist College 法鼓佛教學院. The project is funded by the Haoran Foundation 浩然基金會.☆10Mar 7, 2019Updated 7 years ago
- CLI for https://getdrafts.com☆24Dec 9, 2025Updated 10 months ago
- A reactive streams end-to-end example in Scala.☆18Mar 8, 2016Updated 10 years ago
- 《管錐編》（Limited Views: Essays on Ideas and Letters）☆14Oct 10, 2017Updated 9 years ago
- GTK application for managing 5e characters.☆18Feb 14, 2025Updated last year
- A tool for the comparative visualization of geospatial-temporal data.☆11Sep 20, 2017Updated 9 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 open source reference management tool developed in PyQt5 and Python3.☆13Feb 15, 2026Updated 8 months ago
- 擬草體 - Algorithmically generated typefaces simulating Chinese calligraphy☆16Sep 28, 2026Updated last month
- Scripts for building Dash docsets for the RethinkDB API☆10Jan 20, 2016Updated 10 years ago
- Saito --> NEW REPOSITORY -->☆13Jul 27, 2026Updated 3 months ago
- Library with user interface elements and client-server communication classes based on Google Web Toolkit (GWT) that can be used for crowd …☆14Oct 3, 2017Updated 9 years ago
- The original parsing with derivatives haskell implementation☆13Aug 25, 2015Updated 11 years ago
- I wanted a soundboard for my streams☆13Aug 14, 2021Updated 5 years ago
- sbt-docker-compose plugin provides ultimate solution for running integration tests against docker containers with health checking support…☆18Jul 9, 2019Updated 7 years ago
- My solutions to OpenAI gym problems.☆10Jul 31, 2016Updated 10 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.
- Advanced Weather Station based on RPI4 ,Arduino & Ultrasonic Anemometer, it posts it's weather analytics directly on FarmOS and can also …☆12Oct 30, 2021Updated 5 years ago
- The name "KnowledgeMap" tries to use the metaphor of a cartographic map. If we represent all the different areas of knowledge as a bidime…☆12Mar 29, 2016Updated 10 years ago
- moved to https://github.com/imjasonh/playground/tree/main/pasta☆15Aug 13, 2026Updated 2 months ago
- A Haskell package for updatable discrete distributions☆12Jan 4, 2021Updated 5 years ago
- An approximate nearest-neighbor search for text reuse.☆12Oct 5, 2020Updated 6 years ago
- MCP Auth via Reverse Proxy☆26Oct 30, 2025Updated last year
- Generate multiple seeds for Clifford or De Jong attractors simultaneously in a single page.☆10Jun 28, 2020Updated 6 years ago