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:
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Advanced Weather Station based on RPI4 ,Arduino & Ultrasonic Anemometer, it posts it's weather analytics directly on FarmOS and can also …☆12Oct 30, 2021Updated 4 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- Atom package to add wiki-style links between notes☆21Jun 3, 2021Updated 5 years ago
- Generate multiple seeds for Clifford or De Jong attractors simultaneously in a single page.☆10Jun 28, 2020Updated 5 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.
- Buddhist Studies Authority Databases☆18Nov 8, 2021Updated 4 years ago
- Runtime types for OCaml (beta version)☆27May 18, 2026Updated last month
- 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 8 years ago
- An approximate nearest-neighbor search for text reuse.☆12Oct 5, 2020Updated 5 years ago
- Atom package to quickly find recently opened files☆18Jun 2, 2019Updated 7 years ago
- Higher-order FRP compiler☆16Oct 20, 2021Updated 4 years ago
- Logical relation for predicative CC omega with booleans and an intensional identity type☆12Apr 22, 2025Updated last year
- a public objective non-economic reputation system☆13Oct 4, 2015Updated 10 years ago
- Firefox add-on to improve handling of Redmine projects☆26Feb 11, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Notational Velocity and Github wiki Integration☆17Sep 27, 2012Updated 13 years ago
- Standard library for the Formality language☆18Mar 22, 2020Updated 6 years ago
- ☆16Dec 28, 2021Updated 4 years ago
- ESP32 and Trinamic based closed-loop stepper controller☆12Dec 15, 2025Updated 6 months ago
- This repository contains the C code of a set of functions for an STM32 microcontroller handling a VL53L1X time-of-flight sensor through t…☆11Feb 29, 2024Updated 2 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆20Jan 28, 2018Updated 8 years ago
- Tokenizer POS-tagger and Dependency-parser for Classical Chinese☆20Jun 10, 2026Updated last week
- Using FCN to segment the book's content and background, then dewarping the pages,☆21Oct 9, 2021Updated 4 years ago
- A framework for premodern Chinese texts☆20Dec 6, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆11Feb 27, 2026Updated 3 months ago
- PIDflight Lap Timing device firmware☆15May 10, 2023Updated 3 years ago
- Tools for processing CJK strings in Python☆21Dec 23, 2016Updated 9 years ago
- Open source USB-C computer microphone with XIAO module and Raspberry Pi RP2040 microcontroller☆22Oct 23, 2024Updated last year
- Category theory formalized in cubical agda☆22Feb 16, 2020Updated 6 years ago
- An elmish architecture for fltk-rs☆22Sep 22, 2025Updated 8 months ago
- A monadic approach to static analysis following the methodology of AAM☆18Oct 31, 2015Updated 10 years ago
- A primer on large language models (LLM) as of Jan 2023, with bonus ChatGPT topic☆19Jan 29, 2024Updated 2 years ago
- A collection of scripts that I use to manage my academic workflow, many unfinished or very ideosyncratic☆41Sep 22, 2014Updated 11 years 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.
- Meteor, Apollo, React, PWA, Styled-Components boilerplate☆95Dec 28, 2018Updated 7 years ago
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆23May 29, 2026Updated 3 weeks ago
- ☆20Mar 12, 2023Updated 3 years ago
- ☆23Jul 1, 2024Updated last year
- Add visual-blockwise operation to vim-mode.☆15Nov 11, 2016Updated 9 years ago
- Sync MCP (Model Context Protocol) configurations across AI tools☆46Jun 20, 2025Updated 11 months ago
- Watch YouTube or listen to music in your Atom editor with this package.☆12Jan 4, 2017Updated 9 years ago