- Stanford, CA
- http://arpl.me/
- @CyanoKobalamyne
Highlights
- Pro
Block or Report
Block or report CyanoKobalamyne
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
TheMITTech/thetech.com
TheMITTech/thetech.com PublicThe content management system and frontend website for The Tech, MIT's oldest and largest newspaper.
-
MITMUNC/mitmunc-website
MITMUNC/mitmunc-website PublicWebsite for the MIT Model United Nations Conference
-
M1Hackers/fruits
M1Hackers/fruits PublicFRUITS: Revolutionary Universal International Trip-planning Service — a project for HackDartmouth 2019
Ruby 1
-
spacegem-python
spacegem-python PublicForked from varunm22/spacegem-python
A game to teach the basics of music theory to elementary and middle school students created for 11.127/CMS.590 at MIT
Python
-
M1Hackers/FunTimes
M1Hackers/FunTimes PublicAndroid app for finding fun places nearby. A project for YHack 2017.
Java 1
-
M1Hackers/languagelearner
M1Hackers/languagelearner PublicGoogle Chrome extension for facilitating learning new words online, created for HackMIT 2017.
JavaScript 1
307 contributions in the last year
Day of Week | December Dec | January Jan | February Feb | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | |||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Activity overview
Contribution activity
November 2023
Created 1 commit in 1 repository
Created 1 repository
-
CyanoKobalamyne/boolector
SMT
This contribution was made on Nov 15
Created a pull request in stanford-centaur/smt-switch that received 1 comment
Update Bitwuzla code for new API
Fixes necessary for the new C++ API of Bitwuzla.
Opened 3 other pull requests in 2 repositories
stanford-centaur/smt-switch
2
open
-
Allow using local GTest
This contribution was made on Nov 15
-
Increase minimum CMake version
This contribution was made on Nov 15
Boolector/boolector
1
open
-
Remove directives forcing old C/C++ standards
This contribution was made on Nov 15