#
Lists (13)
Sort Name ascending (A-Z)
APL Adjacent
Array Programming Languages14 repositories
Idris and Lean
9 repositories
Julia Arrays
Alternate Arrays and Views18 repositories
Julia Fin
20 repositories
Julia Macro Constructs
Macro-based PL Construct Packages (e.g. traits, ADTs, pattern matching, etc)25 repositories
Julia ML
Julia ML, DL, RL, Data Analysis, Stats, PGM Libraries and Bindings146 repositories
Julia Tables
Tables in Julia; must be able to store different typed data per column without a type union or common abstract type9 repositories
Nvidia Optimus Switching
Nvidia graphics switching options for Linux6 repositories
Starred repositories
1
star
written in Racket
Clear filter
Dependently-typed language with Iverson-style implicit lifting