Name: Komi Golov
Type: User
Company: @JetBrains
Bio: Mathematics PhD student at Radboud University, Nijmegen; currently at JetBrains. Interests: formal verification, type theory, programming language theory.
Twitter: jesyspa
Location: Utrecht, The Netherlands
Blog: www.math.ru.nl/~agolov/
4dgo
A four-dimensional goban
99-rust-problems
I'm going to try doing 99 Lisp problems in Rust.
afpsmallassignments
Advanced Functional Programming biweekly assignments
agda-vim
Agda interaction in vim
b3omi-group-project-datastructures-2014
Repository for all files related to our group project for the Computer Science Research Methods course.
bf2c
A brainfuck to C converter.
book
An Introduction to Various Math Topics
brick
Formalization of C++ for verification purposes.
cco-small-projects
codechef
Solutions to codechef contests
compile-time-brainfuck
A C++03 brainfuck metainterpreter.
compile-time-lisp
A compile-time compiler for a very small subset of lisp in C++11.
computability-in-agda
A formalisation of computability theory in Agda.
conway-s-game-of-life
Game of life, in C++ and SFML
coq-playground
Just random stuff that seems fun to formalise
dailyprogrammerchallenges
My solutions to some daily programmer challenges.
derivedcollection
Some C++ collections for storing heterogenous types with a common base type.
directed-branching-bisimulation
Code for the paper "Directed branching bisimulation via apartness and positive logic" by Herman Geuvers and Anton Golov
fastgol
A very simple Game of Life implementation, with an attempt to make stuff fast.
fularuha
A functional language implementation in Rust and Haskell
fun-impl-tools-sandbox
A sandbox for tools for implementing functional languages.
intellij-plugins
Open-source plugins included in the distribution of IntelliJ IDEA Ultimate and other IDEs based on the IntelliJ Platform
jesyspa.github.io
Build a Jekyll blog in minutes, without touching the command line.
judgebot
A Discord bot to manage guild rules, infractions and punishments for guild members that don't play nicely.
jy-c-to-bytecode
A bytecode interpreter, plus a compiler for a C-like language to that bytecode.
jytest-vscode
Test extension to figure out why coq-lsp interacts poorly with vscodevim
kotlin
The Kotlin Programming Language.
kotlin-formver-demo
Repository for examples for Kotlin formal verification plugin demo
kotlin-playground
Random Kotlin stuff I want to try out
kotlin-scala-interop
React
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
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
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.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
