pragmatapro
dunai
pragmatapro | dunai | |
---|---|---|
3 | 6 | |
1,349 | 190 | |
- | - | |
5.3 | 8.8 | |
29 days ago | 13 days ago | |
Rich Text Format | Haskell | |
- | BSD 3-clause "New" or "Revised" License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
pragmatapro
-
Berkeley Mono Typeface
One alternative you could consider is narrow fonts like Pragmata[1] (commercial) or Iosevka[2] (gratis, FOSS). Being able to fit more stuff onto you screen side-by-side is what enabled me to get as much into tmux as I am now.
[1] https://www.fsd.it/shop/fonts/pragmatapro/
[2] https://typeof.net/Iosevka/
-
Strange problem about icons in web page
The font seems to be PragmataPro and you have installed it locally? I believe Github doesn't specify this font in their CSS and I guess Firefox doesn't fall back to this font unconditionally due to privacy concern.
-
How do you deal with computer use headaches and eye strain? Do you just accept the pain and power through it?
Switch to Pragmata Pro the best font there is for monospace work.
dunai
-
Interactive animations
Yes, and the new library dunai was just mentioned in this subreddit days ago.
- [ANN] dunai-0.11.0, dunai-test-0.11.0, bearriver-0.14.2
-
Looking for projects that need developers.
I'd love to have help with Yampa & Dunai. Both are related FRP frameworks. Yampa has been around for 20 years, dunai has been around for 8. Both have regular releases every 2 months.
-
[ANN] dunai-0.10.1 and bearriver-0.14.1
The github repo is located at: https://github.com/ivanperez-keera/dunai
-
[ANN] dunai-0.9.0, dunai-test-0.9.0, bearriver-0.13.6
Release: https://github.com/ivanperez-keera/dunai/releases/tag/v0.9.0.
-
[ANN] Yampa 0.13.6
If you haven't, I recommend you take a look at dunai . Dunai allows easier extension using custom monads, and has specific support for ExceptT.
What are some alternatives?
free-arrow - Implementation of the Free Arrow in Scala and other helpful tools for working with Arrows
reflex - Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse.
Tekkon - 鐵恨引擎是用來處理注音輸入法並擊行為的一個模組。該倉庫乃威注音專案的弒神行動(Operation Longinus)的一部分。Tekkon Engine is a module made for processing combo-composition of stroke-based Mandarin Chinese phonetics (i.e. Zhuyin / Bopomofo). This repository is part of Operation Longinus of The vChewing Project. For C# ver.: https://github.com/ShikiSuen/TekkonNT
Yampa - Functional Reactive Programming domain-specific language for efficient hybrid systems
rofimoji - Emoji, unicode and general character picker for rofi and rofi-likes
reactive-banana - Library for functional reactive programming in Haskell.
iSarcasmEval - Datasets used for iSarcasmEval shared-task (Task 6 at SemEval 2022)
DefendTheKing - A simple multiplayer RTS game
UniqueBible - A cross-platform bible application, integrated with high-quality resources and amazing features, running offline in Windows, macOS and Linux, ChromeOS, Android, iOS. Various running modes are supported.
reactive-bacon - FRP (functional reactive programming) framework inspired by RX and Iteratee
streamly - High performance, concurrent functional programming abstractions
rhine - Haskell Functional Reactive Programming framework with type-level clocks