mikew1

mikew1's Stars

• chrislgarry/Apollo-11

  Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

  Language:Assembly59.9k1.3k3817.1k

• syl20bnr/spacemacs

  A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

  Language:Emacs Lisp23.7k4818.6k4.9k

• lucidrains/PaLM-rlhf-pytorch

  Implementation of RLHF (Reinforcement Learning with Human Feedback) on top of the PaLM architecture. Basically ChatGPT but with PaLM

  Language:Python7.7k14348670

• bbatsov/clojure-style-guide

  A community coding style guide for the Clojure programming language

  4k143114279

• bbatsov/projectile

  Project Interaction Library for Emacs

  Language:Emacs Lisp4k741k580

• google/lisp-koans

  Common Lisp Koans is a language learning exercise in the same vein as the ruby koans, python koans and others. It is a port of the prior koans with some modifications to highlight lisp-specific features. Structured as ordered groups of broken unit tests, the project guides the learner progressively through many Common Lisp language features.

  Language:Common Lisp3.1k13440563

• quil/quil

  Main repo. Quil source code.

  Language:Clojure3k73262166

• adereth/dactyl-keyboard

  Parameterized ergonomic keyboard

  Language:OpenSCAD2.9k14859847

• BlueWallet/BlueWallet

  Bitcoin wallet for iOS & Android. Built with React Native

  Language:TypeScript2.8k881.5k828

• edn-format/edn

  Extensible Data Notation

  2.6k997696

• xtdb/xtdb

  An immutable SQL database for application development, time-travel reporting and data compliance. Developed by @juxt

  Language:Clojure2.6k582.4k170

• abo-abo/avy

  Jump to things in Emacs tree-style

  Language:Emacs Lisp1.8k37276113

• generativefm/generative.fm

  A platform for playing generative music in the browser.

  Language:JavaScript1.6k2414782

• weavejester/environ

  Library for managing environment variables in Clojure

  Language:Clojure926245471

• swannodette/lt-cljs-tutorial

  A ClojureScript Programming Language Tutorial for Light Table Users

  Language:Clojure8633814123

• cbaggers/cepl

  Code Evaluate Play Loop

  Language:Common Lisp8624632752

• gnl/ghostwheel

  Hassle-free inline clojure.spec with semi-automatic generative testing and side effect detection

  Language:Clojure602193614

• juji-io/editscript

  A library to diff and patch Clojure/ClojureScript data structures

  Language:Clojure487212823

• marijnh/Postmodern

  A Common Lisp PostgreSQL programming interface

  Language:Common Lisp4002412790

• Scriptor/pharen

  Lisp to PHP Compiler

  Language:PHP218155231

• practicalarduino/VirtualUsbKeyboard

  Use an Arduino to send HID (Human Interface Device) events to a host computer as if it were a keyboard

  12514218

• dazld/awesome-datomic

  Awesome Datomic and Datascript related resources.

  54704

• dandydanny/darknewtab

  A minimalistic grey new tab page for Google Chrome. No external network requests. No analytics. No tracking. No bullshit.

  Language:HTML483820

• SawyerSun/Algorithms-and-Data-Structures

  Algorithms and Data Structures implemented in Java

  Language:Java424024

• Kaspazza/Rich-Hickey-real-fanclub

  "every time I watch one of his talks I feel like someone has gone in and organized my brain"

  Language:HTML251200

• markbastian/datascript-playground

  Language:HTML21302

• ralexstokes/stoken

  some blockchain

  Language:Clojure20404

• K-Singh/Sigma-Finance

  Decentralized P2P Financial Contracts on the Ergo blockchain.

  Language:Scala15301

• abengoa/clj-pgm

  A clojure library for Probabilistic Graphical Models

  Language:Clojure9200

• flytaly/crypto-table

  Crypto currency table with sticky header and draggable rows/columns

  Language:JavaScript1200