geo2a Goto Github PK
Name: Georgy Lukyanov
Type: User
Blog: geo2a.info
Name: Georgy Lukyanov
Type: User
Blog: geo2a.info
The theory of algebraic graphs formalised in Agda
A Idris Mode for Atom.io
Текст выпускной квалификационной работы бакалавра
A framework for writing Smart Contracts on Algorand
Build systems à la carte
Generate json configs for R scripts running on h2o-cluster
Curriculum Vitae
Abstract for workshop on Resiliency in Embedded Electronic Systems, DATE'17
A community-driven collection of documentation for Haskell error messages and warnings
Extensible effects flavored restricted Markdown parser and md-to-htmd translator
Monadic Parsers Combinatos library based on Extensible Effects and Monoid Subclasses
A DSL for exploring processor architectures
Toy directory watcher implemented in haskell
Materials for meeting of Programming Languages and Compilers seminar (MMCS, SFEDU, 14 Dec 2016) and examples of Frank programs
Experimental parsers combinators library implemented with Frank programming language
Experiments with gsm modem and haskell
Parsing markdown with Haskell
Markdown parsers benchmarks for my Master thesis.
Шаблон выпускной работы на Мехмате ЮФУ
A Space Invaders arcade game clone written in haskell
being my notes and exercises for the Types Summer School in Ohrid, (FYRO) Macedonia, July 2017
Тезисы к конференции "Языки программирования и компиляторы ’2017" (plc.sfedu.ru)
Slides from my PLC'17 conference talk, 4 April, Rostov-on-Don, Southern Federal University.
This repository stores the posters made by the microSystems' research team, School of Engineering, Newcastle University (UK).
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.