ashinkarov Goto Github PK
Name: Artem Shinkarov
Type: User
Location: UK
Name: Artem Shinkarov
Type: User
Location: UK
Paper about Extraction of Shallowly-embedded DSLs using Agda's reflection mechanisms
Agda is a dependently typed programming language / interactive theorem prover.
Multi-dimensional arrays in Agda
Explore array/container morphisms using the <> operation
Higher-level multidimensional arrays in Agda
A framework for extracting code from Agda into a costum language
Ordinals in Cantor Normal Form
Experiments with stack-based languages a la Forth or PostScript and extractors for them
The Agda standard library
Personal web pages
Preprocessor with c-like syntax and python-like generic lists
Compile a source code and link against it in runtime
Convolutional Neural Networks
CNN in APL
Repository where I keep the dotfiles for easier migration across different machines.
Software stack to use latvian digital signature eparaksts
fb2 console reader
A programming language with infinite arrays
This is an attempt to formalise Tarski High School Algebra problem in Agda
Manage a user environment using Nix [maintainer=@rycee]
A better tiling and dynamic window manager
Repository to keep patches and extras for i3 window manager.
Reference counting in natural semantics
Agda interaction pluging for neovim
Ncurses based jabber client
Plans and ideas for the upcoming SaC devcamp in Linz
Replaces xml-based configuration files in SaC with JSON-based.
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.