git.iko.soy
rowtype-yoga/purescript-web-font-loadingPureScript bindings for Web Font Loading API JuicyPixels-webpA Haskell-native WebP implementation rowtype-yoga/purescript-ompTyped PureScript bindings for omp extension UI primitives rowtype-yoga/typeappA simple type application wrapper for common libraries jYour repo is a data structure. j is how you manipulate it. rowtype-yoga/purescript-claude-codePureScript bindings for Claude Code plugin capabilities rowtype-yoga/purescript-codemirror6 rowtype-yoga/purescript-opencodePureScript bindings for OpenCode terminal plugins and OpenTUI rowtype-yoga/purescript-tauriPureScript bindings for official Tauri 2 desktop APIs typeable/nix-s3-cache-action MultigramA randomized telegram client fold typeable/oauth2-proxyA reverse proxy that provides authentication with Google, Github or other providers. rowtype-yoga/purescript-web-platform parseable-macosA macOS client for Parseable rowtype-yoga/purescript-yoga-shadcnPureScript bindings for shadcn/ui React components htmlangA static site generator without HTML and CSS rowtype-yoga/purescript-yoga-json homebrew-tap diagonal rowtype-yoga/purescript-protobufGoogle Protocol Buffers for PureScript rowtype-yoga/purescript-yoga-stories rowtype-yoga/purs-evalA simple PureScript expression evaluation tool rowtype-yoga/purescript-playwright rowtype-yoga/purescript-go-concurrentPureScript Go concurrency and synchronized indexed storage bindings rowtype-yoga/purescript-elk rowtype-yoga/purescript-js-runtime rowtype-yoga/purescript-js-weakrefs rowtype-yoga/purescript-parallel-array rowtype-yoga/purescript-synchronized rowtype-yoga/purescript-webgl-raw rowtype-yoga/purescript-web-proletarianWeb worker bindings rowtype-yoga/purescript-yoga-fetch-om knot-legacyA functional relational programming language rowtype-yoga/purescript-yoga-node-http-om maciek134/podphoenixA podcast player for Ubuntu Touch — Podbird reborn rowtype-yoga/purescript-yoga-fastify-om rowtype-yoga/purescript-yoga-http-api rowtype-yoga/purescript-yoga-sqlite-om rowtype-yoga/purescript-yoga-scylladb rowtype-yoga/purescript-yoga-sqlite typeable/html-filterA simple controlled html filter rowtype-yoga/purescript-yoga-react-dom tixI nix type system I didn't finish skrepka usage-menubar⚡ macOS menu bar app showing your Hyper (Charm) credit balance rowtype-yoga/purescript-yoga-fastifyFastify web framework bindings for PureScript rowtype-yoga/purescript-yoga-postgres rowtype-yoga/purescript-yoga-om rowtype-yoga/purescript-yoga-react-nativePureScript bindings for React Native macOS with native AppKit components rowtype-yoga/purescript-vitest rowtype-yoga/purescript-yoga-next-fastifyPureScript bindings for using Next.js with Fastify hermes-herdr-auto-titleHermes Agent plugin: auto-title herdr tabs from the first user message using the LLM bg-agents-panelLive TUI panel for Hermes Agent showing running background agents and processes rowtype-yoga/next-purs-rscNext.js PureScript RSC integration rowtype-yoga/purescript-yoga-om-strom herdr-auto-titleAuto-title herdr tabs from the first user message of a Hermes Agent session warden🛡️ A Bitwarden client for Ubuntu Touch semi-isoWeakened partial isomorphisms that work with lenses. semi-iso-optics github-appHaskell API for authenticating as a GitHub App vs-code-ormoluHaskell code formatter with ormolu elm-bridgeHaskell: Derive Elm types from Haskell types deriving-openapi3DerivingVia for OpenAPI 3 rowtype-yoga/purescript-sha3 rowtype-yoga/purescript-yoga-herouiPureScript bindings for HeroUI React components crushGlamourous agentic coding for all 💘 opencode-android crush-android nix-containerA Nix flake that builds an OCI image for running with Apple's container CLI on macOS. rowtype-yoga/purescript-yoga-postgres-om typeable/control-loggerControl.Loggerr parseable-androidAn Android client for Parseable typeable/random-tokenImplementation of random token generation and parsing rowtype-yoga/purescript-yoga-format rowtype-yoga/purescript-yoga-react-tailwindTailwind-first wrappers for yoga-react-dom — className as the first argument Haskell-HSE/haskell-lectures-2026 rowtype-yoga/purescript-yoga-heroui3PureScript bindings for HeroUI v3 rowtype-yoga/purescript-web-audioFocused PureScript Web Audio bindings: microphone capture + simple synthesis rowtype-yoga/purescript-tonejs-midiPureScript binding to @tonejs/midi: parse a MIDI file to plain records rowtype-yoga/purescript-basic-pitchPureScript bindings to @spotify/basic-pitch (polyphonic pitch detection) rowtype-yoga/purescript-abcjsPureScript bindings to abcjs (music notation rendering) rowtype-yoga/purescript-pitchyPureScript binding to pitchy (pitch detection) rowtype-yoga/yoga-r3fPureScript bindings for yoga-r3f Drei + postprocessing rowtype-yoga/claude-pluginsClaude Code plugins for the rowtype-yoga PureScript ecosystem garnix-ciCI and hosting for nix-based, flakified github repos personality-traits rowtype-yoga/purescript-fetch kchnrave.com hollo-kchnraveFederated single-user microblogging software rowtype-yoga/purescript-tanstack-queryFFI for the tanstack query library typeable/yamlSupport for serialising Haskell to and from Yaml. rowtype-yoga/purescript-yoga-om-layer rowtype-yoga/purescript-yoga-opentelemetry-om rowtype-yoga/purescript-yoga-opentelemetry rowtype-yoga/purescript-yoga-better-auth rowtype-yoga/purescript-compile-failCompile-fail testing for PureScript lynxjs-elm/compilerCompiler for Elm, a functional language for reliable webapps. lynxjs-elm rowtype-yoga/purescript-graphqlEnd to End typesafe GraphQL with PureScript rowtype-yoga/purescript-yoga-sse rowtype-yoga/purescript-uuid rowtype-yoga/purescript-yoga-scylladb-om rowtype-yoga/purescript-yoga-react-om rowtype-yoga/purescript-yoga-reactSimplified React component API for PureScript rowtype-yoga/purescript-yoga-pino-om rowtype-yoga/purescript-yoga-pinoPino logging bindings for PureScript rowtype-yoga/purescript-yoga-om-workerbees rowtype-yoga/purescript-yoga-node-sqlite rowtype-yoga/purescript-yoga-kafka-omKafka integration for yoga-om rowtype-yoga/purescript-yoga-kafka rowtype-yoga/purescript-yoga-jaeger rowtype-yoga/purescript-yoga-elasticsearch rowtype-yoga/purescript-yoga-dynamodb rowtype-yoga/purescript-yoga-docker-composePureScript yoga-docker-compose package rowtype-yoga/purescript-yoga-configType-safe config loading from YAML, TOML, JSON, and env vars for PureScript rowtype-yoga/purescript-yoga-capnweb-omCap'n Proto WebSocket RPC yoga-om integration rowtype-yoga/purescript-yoga-capnwebCap'n Proto WebSocket RPC bindings for PureScript rowtype-yoga/purescript-yoga-bun-yoga rowtype-yoga/purescript-yoga-bun-sqlite rowtype-yoga/purescript-yoga-acp-om rowtype-yoga/purescript-yoga-test-dockerDocker Compose management for PureScript integration tests rowtype-yoga/purescript-yoga-optionsErgonomic optional record fields for PureScript webringJust A Web Ring rowtype-yoga/purescript-yoga-currencyPureScript ISO 4217 currency code ADT with BoundedEnum rowtype-yoga/purescript-yoga-countryPureScript ISO 3166-1 country code ADT with BoundedEnum rowtype-yoga/purescript-yoga-languagePureScript ISO 639-1 language code ADT with BoundedEnum rowtype-yoga/purescript-yoga-timezonePureScript IANA timezone ADT with BoundedEnum, ZonedDateTime, and UTC offset via Intl rowtype-yoga/purescript-prosperoPureScript GraphQL library rowtype-yoga/purescript-golden-testPureScript golden testing library rowtype-yoga/purescript-ref-liftedMonadEffect-lifted Effect.Ref with renamed modify and assignment operators kchnrave.github.io rowtype-yoga/purescript-yoga-daisyuiPureScript DaisyUI bindings for React static-dhallA Dhall-based static site generator rowtype-yoga/purescript-sha2 rowtype-yoga/purescmScheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell). vibeboxUltrafast CLI on Apple Silicon macOS for fast, sandboxed development and LLM agents. rowtype-yoga/purescript-spec-om rowtype-yoga/purescript-yoga-sql-typesSQL type definitions for PureScript Yoga packages rowtype-yoga/purescript-yoga-redisRedis client bindings for PureScript - part of the Yoga backend stack rowtype-yoga/purescript-yoga-bun-yoga-om rowtype-yoga/purescript-yoga-om-rom rowtype-yoga/purescript-yoga-om-node rowtype-yoga/purescript-yoga-redis-om rowtype-yoga/purescript-yoga-om-core rowtype-yoga/purescript-yoga-backend-stackThe complete backend stack for PureScript - high-quality, type-safe FFI bindings for databases, messaging, HTTP frameworks, and observability tools rowtype-yoga/purescript-yoga-actionsReusable GitHub Actions for PureScript Yoga packages typeable/tauri-inlinerNode utility to inline images, CSS and JavaScript for a web page - useful for mobile sites typeable/libphonenumberHaskell bindings to https://github.com/google/libphonenumber rowtype-yoga/purslint rowtype-yoga/homebrew-tapHomebrew formulae for rowtype-yoga projects rowtype-yoga/psgoPureScript to Go compiler backend ikoHSE/sc-task-1🎒📓💻 HSE CS SE Software Construction typeable/id typeable/credit-cardCredit card validation typeable/entropyEasy entropy source for Haskell users. typeable/extra-time typeable/derive-api-thDerive JSON & Openapi3 with TH for GHC & GHCJS typeable/country-codesISO 3166 country codes and i18n names. rowtype-yoga/purescript-backend-optimizerOptimizing backend toolkit and modern ECMAScript backend for PureScript ikoHSE/sc-project🎒📓💻 HSE CS SE Software Construction ikoHSE/sc-task-3🎒📓💻 HSE CS SE Software Construction ikoHSE/sc-task-2🎒📓💻 HSE CS SE Software Construction typeable/validationtStraightforward validation monad. Convenient for validating web forms and APIs. typeable/rollbar-hsProvides a type-safe encoding of the Rollbar API. typeable/missing-lensLenses missing from other packages typeable/servant-pruneFilter servant APIs typeable/dom-parserSimple monadic parser for DOM reflexInteractive 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 typeable/digitDecimal digits typeable/aeson-inflectionsCollection of useful functions for aeson instances and stuff typeable/control-hasControl.Has Fraudik/haskell-web-wc typeable/connexpay purestack-dev/todomvc purestack-dev/project-m36-rest purestack-dev/spago-nixBuild old-style spago pojects with nix purestack-dev/purestack-dev.github.io purestack-dev/purescript-plum purestack-dev/purescript-purestack-server purestack-dev/purescript-projectm36-client typeable/email-validate-extra project-m37 nock-hs typeable/generic-arbitraryGeneric method implementations for Arbitrary horeca-productions/landing typeable/xml-lensLenses and traversals for xml-conduit typeable/reqAn HTTP client library typeable/refined-containersType-checked proof that a key exists in a container and can be safely indexed. Haskell-HSE/haskell-lectures-2025 rowtype-yoga/purescript-linear-algebraBasic Linear Algebra implementation (Matrices, Vector spaces) rowtype-yoga/purescript-moneyTypes and operations on monetary amounts. rowtype-yoga/purescript-fetch-argonaut production-haskell typeable/minio-hsMinIO Client SDK for Haskell binary-bitsBinary serialization at the bit level on top of the binary package ikoHSE/sc-task-template🎒📓💻 HSE CS SE Software Construction typeable/uuidA Haskell library for creating, printing and parsing UUIDs typeable/reflex-dom-extraSome additional functions for reflex-dom gigawork-coworking/gigawork-coworking.github.io typeable/servant-reflexGenerate reflex client functions for querying a servant API ilyakooo0.github.io wockA web toolchain for Hoon rowtype-yoga/purescript-yoga-subtlecryptoBasic PureScript-friendly bindings to SubtleCrypto reshapeAn easy-to-use, zero-downtime schema migration tool for Postgres rowtype-yoga/purescript-lunapark typeable/pagerdutyHaskell PagerDuty API Client typeable/waiHaskell Web Application Interface typeable/compaRESTCompatibility checker for OpenAPI typeable/octopodKubernetes self-service portal luau rowtype-yoga/compiler-compendium rowtype-yoga/purescript-radix-ui rowtype-yoga/purescript-supabase Haskell-HSE/haskell-lectures-2024 helixA post-modern modal text editor. typeable/postgresql-simpleMid-level client library for accessing PostgreSQL from Haskell servant-quickcheck roboservantgenerate contextually sensible fuzz tests for servant apps streamlyHigh performance, concurrent functional programming abstractions chia.nix typeable/xml-conduit-writer haskell-servant/servant-elmAutomatically derive Elm functions to query servant webservices hoon typeable/stupid-logging seaxThe Urbit search engine typeable/html-parseA high-performance, reasonably robust HTML5 tokenizer typeable/hexmlA bad XML parser rowtype-yoga/purescript-fetch-coreTypes and low-level implementations for the Fetch API typeable/bytestring-conversion airlockEarth to Mars communication done right airlock-template typeable/request-track rowtype-yoga/awesome-purescriptA collection of awesome Purescript libraries, resources and shiny things. rowtype-yoga/purescript-next-website-commons rowtype-yoga/purescript-docs-searchSearch frontend for the documentation generated by the PureScript compiler typeable/haskell-stack-trace-plugin prybarPry open those interpreters. typeable/thread-local typeable/cassava-streamsio-streams interface for the cassava CSV library. typeable/inflections-hsRails-like inflections for Haskell typeable/elm-uiWhat if you never had to write CSS again? odd-jobsHaskell job queue with admin UI and loads of other features. urbit.orgThe source for urbit.org rowtype-yoga/purescript-graphql-fundepsType-safe GraphQL queries using functional dependencies. rowtype-yoga/psfp rowtype-yoga/purescript-arraybuffer-builderArrayBuffer builder for Purescript rowtype-yoga/ry-blocksComponent Library from Rowtype Yoga rowtype-yoga/purescript-forgetmenot rowtype-yoga/purescript-codemirror rowtype-yoga/purescript-nanoidBindings to the nanoid JavaScript package grenadeDeep Learning in Haskell typeable/xml-isogenTemplateHaskell generators for XML-isomorphic data types, instances for parsing and rendering. A convenient DSL to define types. rowtype-yoga/purescript-record-studio📀 You finally scored a record deal. xmrig-bash-scriptsSimple collection of bash shell scripts I use to manage xmrig cpu xmrig-autoinstallXMRig Install Script rowtype-yoga/purescript-nativeA native compiler backend for PureScript (via C++ or Golang) rowtype-yoga/purescript-y-indexeddb rowtype-yoga/purescript-tiptap rowtype-yoga/purescript-floating-ui rowtype-yoga/purescript-vaultA typed, persistent store for values of arbitrary types rowtype-yoga/purescript-uniqueData.Unique for PureScript rowtype-yoga/purescript-yjs jrecLiterally the best anonymous records typeable/bucksVery cool money library $$$$$$$$$$ nix-clickNix infrastructure to build click packages for Ubuntu Touch ikoHSE/sc-lectures🎤📓💻 HSE CS SE Software Construction purescript-indexed-DBAn API wrapper around indexedDB phantomjs-nixThe last functioning version of phantomjs on nix life support servantMain repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more! rowtype-yoga/purescript-webextension-polyfill x230 rowtype-yoga/purescript-fixed-precisionFixed precision arithmetic tracked in the types rowtype-yoga/purescript-react-basic-storybookStorybook to use with purescript simple react hooks rowtype-yoga/purescript-next-website typeable/emailReusable Email data type. typeable/mock-server-clientClient library for the mock-server rowtype-yoga/purescript-yoga-variationValidation? Variant? Why not both? typeable/katip-rollbar rowtype-yoga/ry-starter-spaA starter template for building a single-page-application with PureScript and React. purescript-spec-mochaA test runner and reporter for purescript-spec that integrates with Mocha rel8Hey! Hey! Can u rel8? typeable/flat-instancesOrphan instances for Flat class (Time etc) nvim-autopairsautopairs for neovim written by lua rowtype-yoga/purescript-untagged-to-tagged rowtype-yoga/purescript-untagged-unionA Purescript data type for untagged unions rowtype-yoga/purescript-parsing-dataviewDataView on ArrayBuffer input stream support for purescript-parsing rowtype-yoga/purescript-fahrtwind podcatcher rowtype-yoga/purescript-react-aria rowtype-yoga/purescript-react-virtuoso rowtype-yoga/purescript-yoga-treeMulti-way tree (Rose Tree) with Zippers vanilla-compiledVanilla framework precompiled elm-ps-bridge🌉 A PureScript-Elm bridge generator rowtype-yoga/purescript-fetch-yoga-json rowtype-yoga/purescript-yoga-fetch nix-bundleBundle Nix derivations to run anywhere! flathubPull requests for new applications to be added purescript-literalsA Symbol Proxy having a runtime value equal to the reflected symbol purescript-argonaut-aeson-genericArgonaut codecs for aeson generic encoding bw-clientsBitwarden client applications (web, browser extension, desktop, and cli) typeable/servantMain repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more! typeable/http-api-dataConverting to/from HTTP API data like URL pieces, headers and query parameters. rowtype-yoga/purescript-fallbackIdris-style fallback for purescript do comprehensions ⚡️ rowtype-yoga/purescript-octokitPurescript wrapper for octokit ghcjs-optimizerOptimize and compress your simple GHCJS frontend. cinny-click-packagingYet another matrix client. Click packaging for locally running on Ubuntu Touch rowtype-yoga/purescript-lazy-joePurescript ffi for the lazy joe 🦥 typeable/reflex-dom-nested-routingNested client-side routing for Reflex-DOM rowtype-yoga/purescript-mdast-util-from-markdown unity8The operating environment for everywhere. rowtype-yoga/purescript-literalsA Symbol Proxy having a runtime value equal to the reflected symbol rowtype-yoga/package-setsPureScript packages for Spago and Psc-Package typeable/reflex-dom-contrib batA cat(1) clone with wings. haskell.nixA fork of haskell.nix with a more efficient GHCJS 8.10 compiler typeable/openapi3OpenAPI 3.0 data model haskell-nix-1459-repro reflex-vtyBuild terminal applications using functional reactive programming (FRP) with Reflex FRP. vtyA high-level ncurses alternative written in Haskell MemoTrie-instancesA package with instances I need for MemoTrie. elkCompiler for Elm, a functional language for reliable webapps. typeable/ordered-containersSet- and Map-like types that remember the order elements were inserted typeable/servant-swagger-uiProvide embedded swagger UI for servant and swagger spinElegant, emoji-based loading spinners to make your Haskell CLI applications more beautiful. haskell-nova typeable/control-has-katipControl.Has.Katip typeable/bloodhoundHaskell Elasticsearch client and query DSL stackage"Stable Hackage": vetted consistent packages from Hackage typeable/xsd-isogenTool to generate xml-isogen descriptions from xsd files typeable/xsd-parserXSD parser and haskell types for working with it rowtype-yoga/royoA bot for executing PureScript code searxPrivacy-respecting metasearch engine compaRESTCompatibility checker for OpenAPI effects-benchmarksBenchmarking Haskell extensible-effect libraries. effectfulAn easy to use, performant extensible effects library with seamless integration with the existing Haskell ecosystem. haskell-nix-extra-hackage❄️ A tool to use custom forks of Hackage packages with haskell.nix reflex-route-simple🚦 A simple type-safe routing framework for reflex-dom applications without any TemplateHaskell servant-reflexGenerate reflex client functions for querying a servant API patchData structures for describing changes to other data structures. monoidal-containersMaps using values' monoidal structure during merging material-web-bundled cautious-octo-palm-tree cactus-plus-minus rowtype-yoga/pose congenial-meme textAn efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework. reflex-domWeb applications without callbacks or side-effects. Reflex-DOM brings the power of functional reactive programming (FRP) to the web. Build HTML and other Document Object Model (DOM) data with a pure functional interface. jsaddleJavaScript interface that works with GHCJS or GHC typeable/file-embedUse Template Haskell to embed file contents directly. typeable/blog-posts-ru project-m36Project: M36 Relational Algebra Engine haskell-nix-framework-repro obeliskFunctional reactive web and mobile applications, with batteries included. typeable/pandocUniversal markup converter typeable/nix-reproducible-example TechDoc📄🖋️💻 LaTeX document class for technical documents at SE HSE servant-elmAutomatically derive Elm functions to query servant webservices typeable/katip-sync-handle typeable/katipA structured logging framework for Haskell typeable/servant-extra-apiCommon servant related data rowtype-yoga/purescript-kafkajsPurescript wrapper for the amazing kafkajs library typerep-map⚡️Efficient implementation of Map with types as keys haskell-sawtooth-sdk🔗 A Haskell SDK for Hyperledger Sawtooth purescript-untagged-unionA Purescript data type for untagged unions sawtooth-haskell-protosAuto-generated Sawtooth Haskell Protocol Buffers code typeable/stackage2nixGenerate Nix build instructions from a Stack file rasnixos typeable/schematictype-safe JSON spec and validation tool echo-url/echo-url.github.io curryerFast Haskell RPC odnExecute multiple processes in parallel with docker-compose-style log unification openapi3OpenAPI 3.0 data model secp256k1-haskellHaskell bindings for secp256k1 library type-level-setsType-level sets for Haskell (with value-level counterparts and various operations) metric-collector typeable/remark-validate-linksplugin to check that Markdown links and images reference existing files and headings reflex-platform-hlsreflex-frp/reflex-platform with haskell-language-server support type-funFun with types ormoluA formatter for Haskell source code dodrioA fast, bump-allocated virtual DOM library for Rust and WebAssembly. validationtStraightforward validation monad. Convenient for validating web forms and APIs. laopLinear Algebra of Programming - Algebraic Matrices in Haskell ghcideA library for building Haskell IDE tooling gogolA comprehensive Google Services SDK for Haskell. sc-build🛠️:octocat: Generic testing CI with auto-grading and GitHub integration typeable/nixpkgs-stackageStackage overlay for Nixpkgs isoparsec🚧 Under construction 🚧 🔄🔡 Isomorphic (invertible) parser library typeable/cabal2nixGenerate Nix build instructions from a Cabal file typeable/swagger2Swagger 2.0 data model. Idris-devA Dependently Typed Functional Programming Language docker-hsA Haskell library for the Docker Engine API typeable/aesonA fast Haskell JSON library ikoHSE/test-task-dsba2018test-task-dsba2018 created by GitHub Classroom typeable/attoparsecA fast Haskell library for parsing ByteStrings intellij-haskellIntelliJ plugin for Haskell fused-effects-squeal🐷🗄️ A fused-effects adapter for squeal-postgresql. dashared/hookah-tauПроект кальянная. Барнаул. iOS ikoHSE/test-task ifcxtconstraint level if statements heroku-buildpack-stackHaskell Stack support for Heroku xml-isogenTemplateHaskell generators for XML-isomorphic data types, instances for parsing and rendering. A convenient DSL to define types. MemoTrieTrie-based memo functions squealSqueal, a deep embedding of SQL in Haskell generic-lensGenerically derive traversals, lenses, and prisms. hextA GHC extension manager typeable/nix-pills-ruВольный пересказ nix-pills на русском языке typeable/hazelcast-restA simple client for Hazelcast by using REST API. hakyllA static website compiler library in Haskell typeable/timezone-olsonA pure Haskell parser and renderer for binary Olson timezone files optparse-applicativeApplicative option parser rowtype-yoga/purescript-tagged-sumA variant data type made for compatibility with Aeson typeable/transformers-liftAd-hoc type classes for lifting transformers operations typeable/writer-cps-mtlStricter drop in replacements for WriterT and RWST typeable/etherMonad Transformers and Classes rasparsitA type safe, declarative, composable and extensible command line argument parser for Java. metal-metaballsA 'playground' project for rendering metaball-like graphics in metal. typeable/mandrillPure Haskell client for the Mandrill JSON API ikoHSE/DSBAMaterials dashared/GDprojectiOS denis nixpkgs-stackageStackage overlay for Nixpkgs schematictype-safe JSON spec and validation tool websuck1t ohuel/ohuel.github.io sosipozh/sosipozh.github.io annMikh/Socket ikoHSE/Installing-cpp-on-Windows-or-Linux WebSocketTest distributed-processCloud Haskell core library sos typeable/hjsonpointerJSON Pointer library for Haskell SourceDocsSwiftLaTeX-таблицы всех классов, структур и их полей и методов из проекта Xcode huekitA UI framework for iOS that provides components and utilities for building color pickers. melkA Vk Streaming API Demo GalminThe Travelling Salesman Problem Solver GMStepperA stepper with a sliding label in the middle. ikoHSE/Books ikoHSE/KR4 typeable/hjsonschemaJSON Schema Draft 4 library (DEPRECATED) typeable/katip-kafkaKafka backend for Katip ikoHSE/SR4 ikoHSE/KDZ1 ikoHSE/EgzVar3 ikoHSE/SR2.3.2 ikoHSE/SR2.2.4 ikoHSE/BZhDKR1.1 ikoHSE/KR1 TrutherA command line application for creating truth tables for given expressions MathdownA lightweight syntax for matrices. typeable/cassava-embedLibrary for CSV-file embedding ikoHSE/main purescript-intlPureScript bindings to Intl - JavaScript Internaisation API purescript-streamA stream library for purescript typeable/gitrevCompile git revision info into Haskell projects ikoHSE/Books-1 ege4ever/ege4ever.github.io IdrisSqliteEffectful bindings for SQLite (forked from IdrisWeb) haskell-generateType-safe library for generating haskell source code ikoHSE/SolveAvdoshinПолный солвер дз авдошина за 1 курс (в варианте 15-16 учебного года). Один из двух существовавших на тот момент солверов, находящий истинные минимальные выражения для функций во 2 задании. beer-o-matic/beer-o-matic.github.io syntaxReversible parsing and pretty-printing. tuple-morphMorph between tuples with the same "flattened" representation. geograff/geograff.github.io QuietGame/QuietGame.github.io He3a/He3a.github.io DigiClock/DigiClock.github.io NixOS/nixpkgsNix Packages collection & NixOSempty beer-o-matic/beer-o-magicempty ikoHSE/testempty ikoHSE/test-ass-dsba2018-1test-ass-dsba2018-1 created by GitHub Classroomempty neuralNetworksempty nixpkgsNix Packages collectionempty sareAn urbit expense sharing appempty typeable/nixpkgsNix Packages collectionempty urbitAn operating functionempty