Tokyo NixOS meetup wiki pages
☆35Feb 22, 2016Updated 10 years ago
Alternatives and similar repositories for Tokyo-NixOS-Meetup-Wiki
Users that are interested in Tokyo-NixOS-Meetup-Wiki are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Free monad transformers☆20Apr 27, 2022Updated 4 years ago
- What I Wish I Knew When Learning Haskell 日本語訳☆118Jul 23, 2016Updated 9 years ago
- Vim like Text editor by Haskell.☆14Aug 7, 2017Updated 8 years ago
- githubのコミットログを利用したエンディングロール☆11Jan 23, 2023Updated 3 years ago
- Operational monad library☆30Nov 30, 2021Updated 4 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.
- Catenable lists☆21Apr 27, 2022Updated 4 years ago
- refinement types for Elm☆16Jul 12, 2023Updated 2 years ago
- experimenting with STM-backed read-copy-update in Haskell☆18Oct 19, 2025Updated 6 months ago
- Send textual messages to a Handle in a thread-friendly way☆29Aug 15, 2018Updated 7 years ago
- Google language translator plugin for Neovim☆22Oct 11, 2023Updated 2 years ago
- 日本語の読みから Emoji に変換するための SKK 辞書 😂☆30Jul 1, 2023Updated 2 years ago
- A reaaaaaally lenient HTML parser for Purescript inspired by ndmitchell's TagSoup☆12Jul 27, 2018Updated 7 years ago
- Dockerfile of Jupyter (IPython notebook) and IOCaml (OCaml kernel) with libraries for data science and machine learning☆28Sep 5, 2017Updated 8 years ago
- Servant Example for Haskell Advent Calendar 2015☆14Jul 30, 2018Updated 7 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.
- Extensible records, variants, structs, effects, tangles☆131Jun 26, 2025Updated 10 months ago
- Extensible Free Monad Effects☆15Mar 16, 2021Updated 5 years ago
- [WIP] Yet another Erlang implementation in Rust☆33Feb 18, 2019Updated 7 years ago
- A guide to using Lua in Neovim☆184Feb 3, 2024Updated 2 years ago
- Lisp1.5 interpreter/compier☆17Jun 15, 2020Updated 5 years ago
- Lazy prefix trees in OCaml☆22Jan 22, 2020Updated 6 years ago
- Python library for displaying image on terminal.☆10Jan 8, 2023Updated 3 years ago
- A curated list of awesome things related to Haskell.☆290Jan 2, 2022Updated 4 years ago
- Windows Subsytem For BSD☆17Aug 11, 2025Updated 8 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Emacs minor mode to interact with elixir buffers by using LSP☆16Jun 25, 2019Updated 6 years ago
- super tiny implementation of higher-order logic proof assistant in lean☆22Sep 29, 2019Updated 6 years ago
- The Haskell tracer - generating and viewing Haskell execution traces☆38Jun 1, 2023Updated 2 years ago
- OCaml client access to Amazon services, such as S3, EC2, FPS, etc.☆14Sep 20, 2016Updated 9 years ago
- プログラミング言語『兎田ぺこら』https://hapo31.github.io/pekolanguage/☆17Jan 6, 2023Updated 3 years ago
- XCB-based terminal emulator☆10Aug 12, 2021Updated 4 years ago
- ☆11May 3, 2020Updated 6 years ago
- Spacemacs Layer for LiquidHaskell☆13Jun 10, 2017Updated 8 years ago
- [WIP] ⏬ A CLI tool to install executables quickly from GitHub release page☆37Mar 6, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆14Updated this week
- Sixel encoder/decoder for Rust.☆12Feb 19, 2017Updated 9 years ago
- Trivial Lisp-2 Interpreter (and my first Lisp!) https://t-sin.github.io/nutslisp/☆13May 20, 2018Updated 7 years ago
- Efficient conversion of values into Text☆41Mar 2, 2026Updated 2 months ago
- Documentation and tools to curate Sigma rules for Windows event logs into easier to parse rules.☆16Oct 22, 2025Updated 6 months ago
- Right-to-Left text reshaper, useful for reading rtl text on the terminal, or any naive text renderrer☆12Sep 30, 2018Updated 7 years ago
- FriCAS sixel graphics output (TeX, GnuDraw)☆13Jan 4, 2025Updated last year