geo2a Goto Github PK

alga-theory-agda

The theory of algebraic graphs formalised in Agda

atom-language-idris

A Idris Mode for Atom.io

bachelor

Текст выпускной квалификационной работы бакалавра

bachelor-slides

beaker

A framework for writing Smart Contracts on Algorand

build

Build systems à la carte

config-generator

Generate json configs for R scripts running on h2o-cluster

cv

Curriculum Vitae

date17-rees

Abstract for workshop on Resiliency in Embedded Electronic Systems, DATE'17

ext-effects-markdown

Extensible effects flavored restricted Markdown parser and md-to-htmd translator

ext-effects-parsers

Monadic Parsers Combinatos library based on Extensible Effects and Monoid Subclasses

farfalle

A DSL for exploring processor architectures

file-trigger

Toy directory watcher implemented in haskell

frank-mmcs-seminar

Materials for meeting of Programming Languages and Compilers seminar (MMCS, SFEDU, 14 Dec 2016) and examples of Frank programs

frankoparsec

Experimental parsers combinators library implemented with Frank programming language

geo2a.github.io

gsm-with-haskell

Experiments with gsm modem and haskell

markdown-monparsing

Parsing markdown with Haskell

master-thesis

md-parsers-benchmarks

Markdown parsers benchmarks for my Master thesis.

microsail-coq

mmcs_sfedu_thesis

Шаблон выпускной работы на Мехмате ЮФУ

monad-invaders

A Space Invaders arcade game clone written in haskell

ncl-nss1742-cover-letter

ncl-nss1742-research-proposal

ohrid-agda

being my notes and exercises for the Types Summer School in Ohrid, (FYRO) Macedonia, July 2017

plc-mmcs-2017-frank-paper

Тезисы к конференции "Языки программирования и компиляторы ’2017" (plc.sfedu.ru)

plc2017-frank-slides

Slides from my PLC'17 conference talk, 4 April, Rostov-on-Don, Southern Federal University.

posters

This repository stores the posters made by the microSystems' research team, School of Engineering, Newcastle University (UK).

redfin-ide

Minimalistic Web UI for verifying Redfin programs