Vladimir Kalnitsky

13 პროექტი · 119 ★ · PureScript, JavaScript, TypeScript · ბიბლიოთეკები · სხვა · ხელსაწყოები

git.ge-ის დეველოპერები GitHub-ზე

გამომწერები (2)

გამოწერები (2)

პროექტები

  1. switch-to-audible-tabვები

    Find browser tab that is making sound - browser extension for Firefox & Chrome

    JavaScript★ 250
  2. purescript-playwrightბიბლიოთეკები

    [WIP] PureScript bindings for Playwright

    PureScript★ 19012+ თვე უცვლელი
  3. purescript-array-viewsსხვა

    Defer multiple 𝚜𝚕𝚒𝚌𝚎 calls on 𝙰𝚛𝚛𝚊𝚢.

    PureScript★ 13012+ თვე უცვლელი
  4. x-user-noteხელსაწყოები

    Add private notes to X user profiles. Track why you muted or blocked someone. WebExtension

    TypeScript★ 110
მცირე პროექტები (9)
  1. g4ip-proverსხვა

    Theorem prover for intuitionistic propositional logic, fork of github.com/cacay/G4ip

    Haskell★ 8012+ თვე უცვლელი
  2. belief.gardenვები

    A mini social network centered around personal beliefs

    TypeScript★ 80
  3. haskell-holes-thსხვა

    TIP solver for simply typed lambda calculus. Can automatically infer code from type definitions. (TemplateHaskell)

    Haskell★ 7012+ თვე უცვლელი
  4. purescript-fusion-pocსხვა

    A proof-of-concept showing how fusion can be implemented ad-hoc for some set of fusion laws in purescript

    PureScript★ 7012+ თვე უცვლელი
  5. ethereum-warrant-canaryვები

    Warrant canary on blockchain.

    JavaScript★ 5012+ თვე უცვლელი
  6. dom-update-highlighterვები

    Highlight DOM updates on a webpage

    JavaScript★ 50
  7. purescript-bower-jsonბიბლიოთეკები

    𝚋𝚘𝚠𝚎𝚛.𝚓𝚜𝚘𝚗 decoder for purescript

    PureScript★ 4012+ თვე უცვლელი
  8. sec.cyouვები

    A catalogue of DeFi platforms that facilitate permissionless trading

    TypeScript★ 4012+ თვე უცვლელი
  9. riceსხვა

    Trying to invent a 完璧デスクトップ

    Dhall★ 3012+ თვე უცვლელი