reflectionalist

reflectionalist's Stars

• mingodad/picat

  My unofficial picat http://picat-lang.org/ repository

  Language:C271

• amirouche/SEED

  Language:Scheme2

• jppellet/Logic-Circuit-Simulator

  A logic circuit simulator for educational purposes

  Language:TypeScript239

• nomic-ai/gpt4all

  GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.

  Language:C++69.7k7.6k

• krahets/hello-algo

  《Hello 算法》：动画图解、一键运行的数据结构与算法教程。支持 Python, Java, C++, C, C#, JS, Go, Swift, Rust, Ruby, Kotlin, TS, Dart 代码。简体版和繁体版同步更新，English version ongoing

  Language:Java96.1k12.2k

• ReturnInfinity/BareMetal-OS

  Build script for BareMetal OS and its related utilities

  Language:Shell44293

• LessWrong2/lightcone-infrastructure

  Website for Lightcone Infrastructure

  Language:HTML3

• ForumMagnum/ForumMagnum

  The development repository for LessWrong2 and the EA Forum, based on Vulcan JS

  Language:TypeScript562119

• Evoniuk/Godels-Incompleteness-Theorems

  A detailed explanation of one of the most important results in the history of math.

  Language:HTML72

• perspectivesonatheme/patterns

  A framework of abstractions

  29313

• Robert-van-Engelen/tinylisp

  Lisp in 99 lines of C and how to write one yourself. Includes 20 Lisp primitives, garbage collection and REPL. Includes tail-call optimized versions for speed and reduced memory use.

  Language:C84236

• AndresNavarro82/klisp

  31

• Calysto/calysto_scheme

  A Scheme kernel for Jupyter that can use Python libraries

  Language:Scheme27223

• lm-sys/FastChat

  An open platform for training, serving, and evaluating large language models. Release repo for Vicuna and Chatbot Arena.

  Language:Python36.6k4.5k

• nikitadanilov/3-lisp

  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith

  Language:Common Lisp988

• karlrupp/microprocessor-trend-data

  Data repository for my blog series on microprocessor trend data.

  Language:Gnuplot50380

• SlateFoundation/slate-cbl

  Language:CSS77

• schemedoc/awesome-scheme

  A curated list of awesome Scheme libraries and resources

  33024

• schemedoc/bibliography

  Bibliography of Scheme research (readscheme.org and beyond)

  Language:Scheme14920

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.5k375

• mighty-gerbils/gerbil

  Gerbil Scheme

  Language:Scheme1.2k111

• mathigon/textbooks

  Source code of Mathigon's interactive textbooks

  Language:TypeScript355153

• dundalek/awesome-lisp-languages

  A list of Lisp-flavored programming languages

  72536

• nagadomi/waifu2x

  Image Super-Resolution for Anime-Style Art

  Language:Lua27.5k2.7k

• BrainJS/brain.js

  🤖 GPU accelerated Neural networks in JavaScript for Browsers and Node.js

  Language:TypeScript14.4k1.1k

• trekhleb/javascript-algorithms

  📝 Algorithms and data structures implemented in JavaScript with explanations and links to further readings

  Language:JavaScript188k30.2k

• oniony/TMSU

  TMSU lets you tags your files and then access them through a nifty virtual filesystem from any other application.

  Language:Go2k118

• witheve/Eve

  Better tools for thought

  Language:TypeScript7.2k257

• jmoenig/Snap

  a visual programming language inspired by Scratch

  Language:JavaScript1.5k745

• beakerbrowser/beaker

  An experimental peer-to-peer Web browser

  Language:JavaScript6.7k545