-
(ex-)JetBrains Research
- Saint-Petersburg, Russia
Block or Report
Block or report Kakadu
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
OCanren
OCanren PublicForked from PLTools/OCanren
Statically typed embedding of miniKanren relational programming language into Objective Caml
OCaml 1
-
OCanren-basic-template
OCanren-basic-template Public templateA template repository for relational programming using OCanren
OCaml 2
1,422 contributions in the last year
| Day of Week | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | |||||||||||||||||||||||||||||||||||||||||
| Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Saturday Sat | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Activity overview
Contribution activity
March 2024
Created 37 commits in 5 repositories
Created 1 repository
-
Kakadu/bintra
C++
This contribution was made on Mar 8
Opened 2 pull requests in 2 repositories
Kakadu/comp_riscv_course
1
open
-
Комменты сюда
This contribution was made on Mar 6
spbu-se/matmex-diploma-template
1
open
-
Import presentation template
This contribution was made on Mar 6
Reviewed 6 pull requests in 2 repositories
Kakadu/fp2023
4 pull requests
-
MiniML | Ahmetov Temerlan
This contribution was made on Mar 9
-
OCamlWithEffects | Rafik Nurmuhametov, Dmitry Pilyuk
This contribution was made on Mar 9
-
Implementation of the interpreter
This contribution was made on Mar 6
-
C | Pavlushkin Dmitrii
This contribution was made on Mar 1
Kakadu/comp23hw
2 pull requests
-
JaML: Create LLVM compiler
This contribution was made on Mar 8
-
Jaml: closure conversion, lambda lifting, anf
This contribution was made on Mar 8




