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
aads-class-pub
Advanced Algorithms and Data Structures class
alexdikelsky
Config files for my GitHub profile.
alexdikelsky.github.io
bccalc.vim
Use bc from inside vim
bqn
An APL-like programming language. Self-hosted!
bqn-modular-arith
Functions for working with modular arithmetic in BQN
cellular-automata
combinatory-logic
Implementation of Cominbatory Logic
course-reg
CS 160 final project
dex-lang
Research language for array processing in the Haskell/ML family
documentation
Documentation for the Library Route Finder project
dotfiles
My dotfiles
fp-interpreter
Interpreter for FP as defined in Backus's Turing Award Lecture
frontend
Find and display an optimal route to retrieve books from a library's shelves. Project Frontend
group-theory
hello-world
sa
idris2
A purely functional programming language with first class types
inigo
Inigo: A Package Manager for Idris2
jam0001
jmod
Scheme/J like language with built in modular arithmetic
labyrinth
Terminal based maze game
lambda-calculus
Implementation of the λ-calculus
lean.nvim
neovim support for the Lean theorem prover
make_test_files
map-projections
Various map projections plotted using the plotters Rust library
mapping
The map generation component of the route finding application
math
math-problem
metpy
MetPy is a collection of tools in Python for reading, visualizing and performing calculations with weather data.
modulus-in-bloop
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.
