demarkok Goto Github PK
Name: Ilya Kaysin
Type: User
Blog: ilya.fun
Name: Ilya Kaysin
Type: User
Blog: ilya.fun
SpbAU autumn 2017 Linux kernel programming course tasks
Notes on bidirectional typing for dependent call-by-push-value type systems
Android libGDX game, Fall 2016
ChatGPT in Emacs
Compiler for a fictional programming language
Collecting cycling competitions results and compiring two participants.
deep learning course repository
Материалы и задания по курсу "Программирование с зависимыми типами" 2019 года
formal languages homework tasks
A research in type theory: application of the Free theorem for Functors.
Scripts, web-apps and documents for various intellectual games
Out entry for global game jam 2016
Прогресс решения задач на информатиксе
A toolkit for developing and comparing reinforcement learning algorithms.
Hahn: A Coq library
Repository to store student's practical works on high performance computing course
The implementation of the inhabitation algorithm for rank two intersection types
🏷 Web application to help beginners to start contributing into Haskell projects
Java homework in Academic University
A lexer for the fictional language called L
Literate Programming Tutorials
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.