Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by klntsky
A curated list of projects in awesome lists by klntsky .
https://github.com/klntsky/switch-to-audible-tab
Find browser tab that is making sound - browser extension for Firefox & Chrome
Last synced: 04 Jan 2025
https://github.com/klntsky/purescript-playwright
[WIP] PureScript bindings for Playwright
Last synced: 28 Oct 2024
https://github.com/klntsky/purescript-array-views
Defer multiple ๐๐๐๐๐ calls on ๐ฐ๐๐๐๐ข.
Last synced: 04 Jan 2025
https://github.com/klntsky/g4ip-prover
Theorem prover for intuitionistic propositional logic, fork of github.com/cacay/G4ip
Last synced: 11 Oct 2024
https://github.com/klntsky/haskell-holes-th
TIP solver for simply typed lambda calculus. Can automatically infer code from type definitions. (TemplateHaskell)
Last synced: 28 Oct 2024
https://github.com/klntsky/purescript-fusion-poc
A proof-of-concept showing how fusion can be implemented ad-hoc for some set of fusion laws in purescript
Last synced: 04 Jan 2025
https://github.com/klntsky/ethereum-warrant-canary
Warrant canary on blockchain.
ethereum ethereum-contract solidity solidity-contracts warrant-canary
Last synced: 11 Oct 2024
https://github.com/klntsky/sec.cyou
A catalogue of DeFi platforms that facilitate permissionless trading
Last synced: 28 Oct 2024
https://github.com/klntsky/belief.garden
A mini social network centered around personal beliefs
discussion indieweb rationality social-network
Last synced: 24 Nov 2024
https://github.com/klntsky/purescript-bower-json
๐๐๐ ๐๐.๐๐๐๐ decoder for purescript
Last synced: 04 Jan 2025
https://github.com/klntsky/rice
Trying to invent a ๅฎ็งใในใฏใใใ
Last synced: 04 Jan 2025
https://github.com/klntsky/dom-update-highlighter
Highlight DOM updates on a webpage
Last synced: 04 Jan 2025
https://github.com/klntsky/npm-run-graph
Visually inspect how `npm run` scripts call each other, using graphviz.
Last synced: 04 Jan 2025
https://github.com/klntsky/purescript-search-trie
A Map-based Trie implemented using zipper.
Last synced: 04 Jan 2025
https://github.com/klntsky/arithmetic-coding
Visualization of arithmetic coding algorithm (purescript-halogen)
Last synced: 04 Jan 2025
https://github.com/klntsky/text-boxes
Tools for working with rectangle-shaped blocks of text.
Last synced: 04 Jan 2025
https://github.com/klntsky/dark-hooktube
The purpose of this userstyle is to make hooktube.com look exactly the same as youtube.com with dark theme applied.
Last synced: 04 Jan 2025
https://github.com/klntsky/purescript-deasync
โa. Aff a โ Effect a (using deasync, NodeJS only)
Last synced: 04 Jan 2025
https://github.com/klntsky/purescript-difference-containers
Difference lists.
dlist functional-data-structure purescript
Last synced: 04 Jan 2025
https://github.com/klntsky/th-optics
Autogenerated optics for TemplateHaskell AST data types.
Last synced: 04 Jan 2025
https://github.com/klntsky/unlagify
A library and a browser extension that allows to throttle requestAnimationFrame-based animations to improve webpage performance
Last synced: 04 Jan 2025
https://github.com/klntsky/simpletablegenerator
Pretty text table generator with multiline support!
Last synced: 04 Jan 2025
https://github.com/klntsky/multivariate-data-ananlysis-labs
My labs for "Models and methods of multivariate data analysis" course (ITMO)
Last synced: 04 Jan 2025
https://github.com/klntsky/big-data-project
Infrastructure for Big Data course project
Last synced: 04 Jan 2025
https://github.com/klntsky/dhall-functions
List-based Nats, List/init, List/tail, Natural/sub, Natural/compare & more. Nats are very slow.
Last synced: 04 Jan 2025
https://github.com/klntsky/stop-cursor
ChatGPT-generated program that prevents your cursor from leaving screen boundaries
Last synced: 04 Jan 2025
https://github.com/klntsky/purescript-balanced-fold
Folds a list of values, trying as much as possible to balance.
Last synced: 04 Jan 2025
https://github.com/klntsky/firefox-rotating-favicons
Userstyle. Replaces firefox tab throbbers (page loading indicators) with rotating favicon images.
Last synced: 04 Jan 2025