dargones Goto Github PK
Name: Aleksandr Fedchin
Type: User
Bio: PhD student at Tufts University. Intern at Amazon. Member of the Quantitative Criticism Lab.
Location: Boston
Name: Aleksandr Fedchin
Type: User
Bio: PhD student at Tufts University. Intern at Amazon. Member of the Quantitative Criticism Lab.
Location: Boston
This project implements an algorithm for identifying points on a plane that fall within a specific rectangle and allows visualizing the algorithm step-by-step.
A beautiful, simple, clean, and responsive Jekyll theme for academics
A Latin scansion tool (with a particular focus on trimeters)
AWS Encryption SDK for Dafny
The Dafny blog
Boogie
⚠️(OBSOLETE) Curated applications for Kubernetes
This repository contains code that illustrates a baseline solution for the CG:SHOP 2023 competition, which involved computing smallest convex covers of arbitrary polygons with holes. This is also my final project for CS263 at Tufts.
solver for the reachability modulo theories problem
Dafny is a verification-aware programming language
A tool for analyzing and reporting on Dafny, especially the results of verification
Tufts University Treebanked Commentaries - J. Matthew Harrington, General Editor
Code that allows predicting imports in Java code with GGNNs
The MSR Ironclad project builds provably secure and reliable systems.
Plaintext files with Latin texts from the Tesserae Project
Libraries useful for Dafny programs
This is a version on PintOS cloned for CMSC326: Operating Systems assignments.
A set of basic scripts to mirror course structure on BrightSpace in the Pronto messaging app
A geometry package and some other tools I created in 2016 for writing a quest-game
Types, type checking, and contracts for Ruby
This repository stores code that can be used to solve\analyze the Reversi board game
A collection of tools for sentence alignement
Action for installing Dafny
Basic tools for synesthesia research
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.