AlexDikelsky's Stars
kavigupta/urbanstats
A website for viewing statistics of various areas in the United States.
brandonmcfadd/cta-reliability
Chicago Transit Authority ("CTA") Reliability Tracker - This project was created to help provide insight and transparency into the current service levels of the Chicago Transit Authority ("CTA") rail network.
gtbikev/courses
This repository contains courses for gtbikev mod.
mlochbaum/Singeli
High-level interface for low-level programming
thuydt02/HCQ
The dataset of tweets pulling from Twitters with keyword: Hydroxychloroquine, location: US, Time: 2020
JuliaSymbolics/Symbolics.jl
Symbolic programming for the next generation of numerical software
lervag/vimtex
VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.
kspalaiologos/malbolge-lisp
A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
SeaGriff/Graph-Orientations-and-Divisors
JoshuaMitton/Rotation-Equivariant-Deforestation-Segmentation
Rotation Equivariant Deforestation Segmentation
eayus/sirdi
Package manager for Idris
ucl-bug/jaxdf
A JAX-based research framework for writing differentiable numerical simulators with arbitrary discretizations
flintlib/calcium
Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
MysticalUnicat/ga_bqn
Geometric Algebra for BQN
wjyoumans/arb-sys
Rust bindings to the Arb library
razetime/AOC2021-BQN
new repository is at razetime/aoc.
ashinkarov/cnn-in-apl
CNN in APL
Smeths/pygroup
awslabs/aws-lambda-rust-runtime
A Rust runtime for AWS Lambda
robmoss/rusty_train
A graphical user interface for constructing 18xx maps and identifying optimal train routes
flintlib/arb
Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
cannadayr/rsbqn
An embeddable BQN virtual machine in rust. Stay tuned!
programmerjake/algebraics
algebraic numbers implemented in rust; mirror of https://salsa.debian.org/Kazan-team/algebraics
hrkz/cycle
Modern and safe symbolic mathematics
rust-itertools/itertools
Extra iterator adaptors, iterator methods, free functions, and macros.
elrolfe/elr_primes
A Rust crate that provides a prime number iterator and methods for basic calculations with prime numbers
stefan-hoeck/idris2-rhone-js
Experimental JS bindings for idris2-rhone
luau-lang/luau
A fast, small, safe, gradually typed embeddable scripting language derived from Lua
idris-community/inigo
Inigo: A Package Manager for Idris2
fortran-lang/stdlib
Fortran Standard Library