YBogomolov

typeorm

ORM for TypeScript and JavaScript. Supports MySQL, PostgreSQL, MariaDB, SQLite, MS SQL Server, Oracle, SAP Hana, WebSQL databases. Works in NodeJS, Browser, Ionic, Cordova and Electron platforms.

postgres

Postgres.js - The Fastest full featured PostgreSQL client for Node.js, Deno, Bun and CloudFlare

effect

An ecosystem of tools to build robust applications in TypeScript

MTMR

🌟 [My TouchBar My rules]. The Touch Bar Customisation App for your MacBook Pro

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

skunk

A data access library for Scala + Postgres.

meta-typing

📚 Functions and algorithms implemented purely with TypeScript's type system

software-design-in-haskell

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

polysemy

:gemini: higher-order, no-boilerplate monads

focal

Program user interfaces the FRP way.

fused-effects

A fast, flexible, fused effect system for Haskell

izumi

Productivity-oriented collection of lightweight fancy stuff for Scala toolchain

ts-auto-mock

Typescript transformer to unlock automatic mock creation for interfaces and classes

tofu

Functional programming toolbox

Functional-Design-and-Architecture

Code and materials for my book "Functional Design and Architecture"

hyper-ts

Type safe middleware architecture for HTTP servers

mu-haskell

Mu (μ) is a purely functional framework for building micro services.

morphic-ts

elm-ts

A porting to TypeScript featuring fp-ts, rxjs6 and React

singletons

Fake dependent types in Haskell using singletons

haskell-hie-devcontainer

A DevContainer for VSCode, for installing GHC 8.6.5, HIE (Haskell IDE Engine) and the required plugins

awesome-zio

A big collection of useful ZIO links

waveguide

An effect/IO datatype in typescript

skolems

A microlibrary for Scala encodings of higher-rank quantifiers

idris-cs-hse

«Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ

tsql

A SQL query-builder/ORM

raini

A free open source platform for creating and sharing educational programs related to software development and all the things around it.

bcrypt-cli

CLI string bcrypt hashing tool

NodeJS-Mentoring-Program-2019Q4