Skip to content
View ararslan's full-sized avatar
  • Beacon Biosignals
  • Seattle, WA
  • 21:03 (UTC -07:00)
Block or Report

Block or report ararslan

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Context sensitive completion for OCaml in Vim and Emacs

OCaml 1,561 234 Updated Jul 26, 2024

The MaPLe compiler for efficient and scalable parallel functional programming

Standard ML 315 18 Updated Jul 24, 2024

Fast, collaborative live terminal sharing over the web

Rust 5,648 165 Updated May 5, 2024

A massively parallel, high-level programming language

Rust 16,927 413 Updated Jul 27, 2024

Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

Rust 422 54 Updated Jul 15, 2024

A compact, efficient Prolog interpreter written in plain-old C.

C 260 12 Updated Jul 26, 2024

Public domain cross platform lock free thread caching 16-byte aligned memory allocator implemented in C

Python 2,072 179 Updated Jun 26, 2024

This is an online course where you can learn and master the skill of low-level performance analysis and tuning.

C++ 2,350 201 Updated Jul 26, 2024

Generalized Estimating Equations (GEE) in Julia

Julia 6 Updated Feb 4, 2024

R for Clinical Study Report and Submission

HTML 68 31 Updated Jul 8, 2024

A Common Lisp framework for the creation of electronic art, visual design, game prototyping, game making, computer graphics, exploration of human-computer interaction, and more.

Common Lisp 1,392 67 Updated Jun 19, 2024

A statically typed programming language for scientific computations with first class support for physical dimensions and units

Rust 1,034 41 Updated Jul 28, 2024

Store files as YouTube videos == infinite disk space

Mathematica 1,899 51 Updated Jul 26, 2018

Aggregate collections by keys

Julia 11 Updated Apr 1, 2024

LinguaCafe is a self-hosted software that helps language learners read foreign languages.

Vue 816 25 Updated Jul 28, 2024

Friends don't let friends make certain types of data visualization - What are they and why are they bad.

R 6,207 216 Updated Jul 11, 2024

A statically typed Lisp like scripting programming language for Rust.

Rust 188 10 Updated Jun 11, 2023

A curated list of awesome Scheme libraries and resources

319 24 Updated May 15, 2024

Official chibi-scheme repository

Scheme 1,201 142 Updated Jun 17, 2024

The compiler and standard distribution for the C∀ programming language

C++ 69 2 Updated Jul 27, 2024

Graphic notes on Gilbert Strang's "Linear Algebra for Everyone"

PostScript 16,572 2,035 Updated Feb 4, 2024

Platform independent low-level JIT compiler

C 811 71 Updated Jul 24, 2024

Official main repository for LFortran

C++ 915 136 Updated Jul 28, 2024

Source code for the Mun language and runtime.

Rust 1,813 72 Updated Jul 17, 2024

PRIMA is a package for solving general nonlinear optimization problems without using derivatives. It provides the reference implementation for Powell's derivative-free optimization methods, i.e., C…

Fortran 292 36 Updated Jul 5, 2024

A modern proof language

JavaScript 3,536 141 Updated Jul 20, 2024

💥💻💥 A data-parallel functional programming language

Haskell 2,358 166 Updated Jul 28, 2024

An ongoing attempt to re-engineer LuaJIT from scratch

C++ 1,125 29 Updated Jul 18, 2024

Self contained, fully static llvm tools & libs

C 330 4 Updated Mar 1, 2023

A VM That is Dynamic and Fast

C 1,562 54 Updated Jul 28, 2024
Next