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/g4ip-prover
Theorem prover for intuitionistic propositional logic, fork of github.com/cacay/G4ip
klntsky/haskell-holes-th
TIP solver for simply typed lambda calculus. Can automatically infer code from type definitions. (TemplateHaskell)
klntsky/purescript-fusion-poc
A proof-of-concept showing how fusion can be implemented ad-hoc for some set of fusion laws in purescript
klntsky/ethereum-warrant-canary
Warrant canary on blockchain.
klntsky/rice
Trying to invent a ๅฎ็งใในใฏใใใ
klntsky/spago-search
Moved to the spacchetti org:
klntsky/arithmetic-coding
Visualization of arithmetic coding algorithm (purescript-halogen)
klntsky/npm-run-graph
Visually inspect how `npm run` scripts call each other, using graphviz.
klntsky/text-boxes
Tools for working with rectangle-shaped blocks of text.
klntsky/dark-hooktube
The purpose of this userstyle is to make hooktube.com look exactly the same as youtube.com with dark theme applied.
klntsky/github-module-links
Inserts direct repository links for modules used in source code on github
klntsky/purescript-deasync
โa. Aff a โ Effect a (using deasync, NodeJS only)
klntsky/dhall-functions
List-based Nats, List/init, List/tail, Natural/sub, Natural/compare & more. Nats are very slow.
klntsky/dhall-haskell
A configuration language guaranteed to terminate
klntsky/firefox-rotating-favicons
Userstyle. Replaces firefox tab throbbers (page loading indicators) with rotating favicon images.
klntsky/purescript-balanced-fold
Folds a list of values, trying as much as possible to balance.
klntsky/purescript-consable
klntsky/purescript-difference-containers
Difference lists.
klntsky/purescript-skew-lists
Not done yet.
klntsky/purescript-split
klntsky/purescript-unconsable
klntsky/pursuit
Website for hosting and searching PureScript API documentation
klntsky/qcsim
Quantum Circuit Simulator.
klntsky/SimpleTableGenerator
Pretty text table generator with multiline support!