I'm Alex Dikelsky, a software engineer at Climate. I'm interested in BQN, types, vegan food, and cross country skiing
Project Euler friend code: 145835_8206040bb70116d02504289dce2c755b
Name: Alex Dikelsky
Type: User
Location: Seattle, WA
I'm Alex Dikelsky, a software engineer at Climate. I'm interested in BQN, types, vegan food, and cross country skiing
Project Euler friend code: 145835_8206040bb70116d02504289dce2c755b
Advanced Algorithms and Data Structures class
Config files for my GitHub profile.
Use bc from inside vim
An APL-like programming language. Self-hosted!
Functions for working with modular arithmetic in BQN
Implementation of Cominbatory Logic
CS 160 final project
Research language for array processing in the Haskell/ML family
Documentation for the Library Route Finder project
My dotfiles
Interpreter for FP as defined in Backus's Turing Award Lecture
Find and display an optimal route to retrieve books from a library's shelves. Project Frontend
sa
A purely functional programming language with first class types
Inigo: A Package Manager for Idris2
Scheme/J like language with built in modular arithmetic
Terminal based maze game
Implementation of the λ-calculus
neovim support for the Lean theorem prover
Various map projections plotted using the plotters Rust library
The map generation component of the route finding application
MetPy is a collection of tools in Python for reading, visualizing and performing calculations with weather data.
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.