Pinned Repositories
belief.garden
A mini social network centered around personal beliefs
g4ip-prover
Theorem prover for intuitionistic propositional logic, fork of github.com/cacay/G4ip
haskell-holes-th
TIP solver for simply typed lambda calculus. Can automatically infer code from type definitions. (TemplateHaskell)
purescript-array-views
Defer multiple 𝚜𝚕𝚒𝚌𝚎 calls on 𝙰𝚛𝚛𝚊𝚢.
purescript-fusion-poc
A proof-of-concept showing how fusion can be implemented ad-hoc for some set of fusion laws in purescript
purescript-playwright
[WIP] PureScript bindings for Playwright
switch-to-audible-tab
Find browser tab that is making sound - browser extension for Firefox & Chrome
cardano-transaction-lib
A Purescript library for building smart contract transactions on Cardano
metaprompt
A template engine for LLM prompts with support for writing prompts with prompts
purescript-docs-search
Search frontend for the documentation generated by the PureScript compiler
klntsky's Repositories
klntsky/switch-to-audible-tab
Find browser tab that is making sound - browser extension for Firefox & Chrome
klntsky/purescript-playwright
[WIP] PureScript bindings for Playwright
klntsky/belief.garden
A mini social network centered around personal beliefs
klntsky/sec.cyou
A catalogue of DeFi platforms that facilitate permissionless trading
klntsky/dom-update-highlighter
Highlight DOM updates on a webpage
klntsky/reto-js
Return from outer functions
klntsky/ton_2x
Simple TON trading tools for everyone!
klntsky/babylon-node
The Radix node, updated for Babylon. Embeds the Radix engine which lives at https://github.com/radixdlt/radixdlt-scrypto.
klntsky/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
klntsky/cardano-serialization-lib
This is a library, written in Rust, for serialization & deserialization of data structures used in Cardano's Haskell implementation of Alonzo along with useful utility functions.
klntsky/cardano-transaction-lib
A Purescript library for building smart contract transactions on Cardano
klntsky/cardanonical
Canonical JSON schemas for Cardano objects, with reference encoders/decoders.
klntsky/CIPs
klntsky/developer-portal
The Cardano Developer Portal
klntsky/essential-cardano
Repository for the Essential Cardano list
klntsky/klntsky.dev
klntsky/less-json
klntsky/nixpkgs
Nix Packages collection
klntsky/plutus
The Plutus language implementation and tools
klntsky/purescript-encoding
WHATWG/W3C Encoding Standard
klntsky/purescript-toppokki
A binding to puppeteer to drive headless Chrome.
klntsky/singularitynet
Bonded and unbonded stake pool for SingularityNET
klntsky/slopware
Bespoke LLM prompts + automation
klntsky/stop-cursor
ChatGPT-generated program that prevents your cursor from leaving screen boundaries
klntsky/SunKey
A time killer game
klntsky/telegram-list
List of telegram groups, channels & bots // Список интересных групп, каналов и ботов телеграма // Список чатов для программистов
klntsky/unlagify
A library and a browser extension that allows to throttle requestAnimationFrame-based animations to improve webpage performance
klntsky/View-Instagram
A userscript to view Instagram without login via imginn.com
klntsky/wrapper-sites
klntsky/youtubecore