jorpic

Formal MethodsIn transit

Pinned Repositories

frodus
Language:Python1 1 00
html2md
Useless HTML to Markdown converter
Language:Go2 2 01
preact-wasm-example
How to import WASM module, compiled from Rust with wasm-pack, into Preact project
Language:JavaScript2 2 00
tg-park-bot
friendly telegram bot
Language:Rust1 2 10
xxx
Solve logic schemes with SMT
Language:Haskell1 3 00

jorpic's Repositories

jorpic/html2md
Useless HTML to Markdown converter
Language:Go2 2 01
jorpic/xxx
Solve logic schemes with SMT
Language:Haskell1 3 00
jorpic/eth-benchmark
Feed bunch of transactions to eth node
Language:JavaScript1
jorpic/fay
A proper subset of Haskell that compiles to JavaScript
Language:Haskell
jorpic/fay-knockout
Language:JavaScript
jorpic/nn
something with glonass and navigation
1
jorpic/ob
one-click load testing
Language:Haskell
jorpic/object-models
Language:Haskell
jorpic/pg-simple-alt-qq
On the way to better QuasiQuoter for postgresql-simple
Language:Haskell2
jorpic/provider-engine
zero client provider engine
Language:JavaScript
jorpic/render-latex-template
This μservice will render your LaTeX templates and provide you with shiny PDFs
Language:Haskell2 0
jorpic/theqdb
Fetch questions and answers from thequestion.ru
Language:Go
jorpic/web3j
Lightweight Java and Android library for integration with Ethereum clients
Language:Java
jorpic/webpack-typescript-react
Example setup with Webpack, Typescript and React.js
Language:JavaScript2 0
jorpic/wings-workshop
Language:HTML2 0