srghma
https://srghma.github.io/how-life-was-created https://docs.google.com/presentation/d/1x1WXcqXbxWo-Nj3lzXgcSBTdmV-8Ohs9lGZDlfMI76g/edit?usp=sharing
NoneUkranian from Donetsk, rn in Cambodia
Pinned Repositories
purescript-graphqlclient
srghma-chinese2.github.io
category-theory-bartosz-milewski-lecture-notes
Category theory for programmers lecture notes
functional-nextjs-typescript-apollo-boilerplate
library
1st RULE: You do not talk about LIBRARY.
purescript-halogen-material-components-web
purescript-halogen-nextjs
not finished, was working on commit where I have added image to README
ran
:zap: RAN! React . GraphQL . Next.js Boilerplate :zap: - SEO-Ready, Production-Ready, SSR, Hot-Reload, CSS-in-JS, Caching and more...
srghma.github.io
I know how life was created, I know why we live, I know who we are (first letter is "r", last - "s", 6 letters)
srghma's Repositories
srghma/nvimmer-ps
A support plugin for PureScript Language Server that adds more keybindings for neovim
srghma/dotfiles
srghma/tree-sitter-ipkg
For idris and idris2 .ipkg file
srghma/zed-idris2
srghma/srghma.github.io
I know how life was created, I know why we live, I know who we are (first letter is "r", last - "s", 6 letters)
srghma/airborne
RSpec driven API testing framework
srghma/astrocommunity
A community repository of common plugin specifications
srghma/chosen-rails
Integrate Chosen javascript library with Rails asset pipeline
srghma/docker-ruby-postgres-node
srghma/el_finder
Ruby gem to provide server side connector to elFinder (open-source file manager for web)
srghma/elan
The Lean version manager
srghma/extensions
Extensions for the Zed editor
srghma/Idris2
A purely functional programming language with first class types
srghma/idris2-lsp-vscode
Visual Studio Code integration for the Idris 2 language server
srghma/idris2-nvim
Simple configuration and extra tools for NVIM + LSP + Idris2
srghma/lean4
Lean 4 programming language and theorem prover
srghma/neovim
Vim-fork focused on extensibility and usability
srghma/nixpkgs
Nix Packages collection
srghma/nvim-treesitter
Nvim Treesitter configurations and abstraction layer
srghma/plfl
Programming Language Foundations in Lean
srghma/puppeteer-google-translate
Translate texts or documents with Google Translate using Puppeteer
srghma/purescript-deku-nextui
srghma/purs-tools
A collection of PureScript tools
srghma/SoniTranslate
Synchronized Translation for Videos. Video dubbing
srghma/tree-sitter-idris
srghma/ui
Beautifully designed components that you can copy and paste into your apps. Accessible. Customizable. Open Source.
srghma/videochatru-extension
RU/EN | Расширение для Чат Рулетки | Chrome Extension providing additional features for popular chat roulette platform (ome.tv, чат рулетка, видеочат ru, chatrulez, chatalernative, chatruletka).
srghma/vim
The official Vim repository
srghma/youtubeuploader
Scripted uploads to Youtube
srghma/zed
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.