Giters
kensai7

kensai7

Geek Repo

4

followers

4

following

378

stars

Github PK Tool:Github PK Tool

kensai7's starred repositories

Franklin.jl

(yet another) static site generator. Simple, customisable, fast, maths with KaTeX, code evaluation, optional pre-rendering, in Julia.

Language:JuliaLicense:MITStargazers:951Issues:0Issues:0

MathJax-src

MathJax source code for version 3 and beyond

Language:TypeScriptLicense:Apache-2.0Stargazers:2029Issues:0Issues:0

xhub

Extend GitHub pages with math, graphs etc.

Language:JavaScriptLicense:GPL-3.0Stargazers:91Issues:0Issues:0

GameShell

a game to learn (or teach) how to use standard commands in a Unix shell

Language:ShellLicense:GPL-3.0Stargazers:2124Issues:0Issues:0

peridot

A fast functional language based on two level type theory

Language:HaskellLicense:MPL-2.0Stargazers:388Issues:0Issues:0

Hacking-F117A

My investigation into mission generation in the Stealth Fighter games by Microprose.

Language:CLicense:MITStargazers:79Issues:0Issues:0

Cytopia

:deciduous_tree::house_with_garden::office::evergreen_tree: A city building simulation game

Language:C++License:GPL-3.0Stargazers:1964Issues:0Issues:0

personal-security-checklist

🔒 A compiled checklist of 300+ tips for protecting digital security and privacy in 2024

Language:TypeScriptLicense:NOASSERTIONStargazers:16673Issues:0Issues:0

difftastic

a structural diff that understands syntax 🟥🟩

Language:RustLicense:MITStargazers:20426Issues:0Issues:0

Frustration-One-Year-With-R

An extremely long review of R.

Stargazers:619Issues:0Issues:0

Open-Golf

A cross-platform minigolf game written in C.

Language:CLicense:MITStargazers:1788Issues:0Issues:0

fzf

:cherry_blossom: A command-line fuzzy finder

Language:GoLicense:MITStargazers:63620Issues:0Issues:0

mealie

Mealie is a self hosted recipe manager and meal planner with a RestAPI backend and a reactive frontend application built in Vue for a pleasant user experience for the whole family. Easily add recipes into your database by providing the url and mealie will automatically import the relevant data or add a family recipe with the UI editor

Language:PythonLicense:AGPL-3.0Stargazers:6602Issues:0Issues:0

ple

Programming Language Explorations

Language:JavaScriptLicense:MITStargazers:88Issues:0Issues:0

Simula

Linux VR Desktop

Language:HaskellLicense:MITStargazers:2938Issues:0Issues:0

awesome-bci

Curated Collection of BCI resources

Stargazers:1124Issues:0Issues:0

Examples

A collection of TLA⁺ specifications of varying complexities

Language:TLALicense:NOASSERTIONStargazers:1264Issues:0Issues:0

tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Language:JavaLicense:MITStargazers:2280Issues:0Issues:0

r_notes

Personal collection of R notes

Stargazers:189Issues:0Issues:0

rob501

Mathematics for Robotics

License:GPL-3.0Stargazers:1607Issues:0Issues:0

zim-desktop-wiki

Main repository of the zim desktop wiki project

Language:PythonLicense:GPL-2.0Stargazers:1912Issues:0Issues:0

EmbeddedController

Embedded Controller firmware for the Framework Laptop

Language:CLicense:BSD-3-ClauseStargazers:937Issues:0Issues:0

stat_rethinking_2022

Statistical Rethinking course winter 2022

Language:RStargazers:4108Issues:0Issues:0

hacker-laws

💻📖 Laws, Theories, Principles and Patterns that developers will find useful. #hackerlaws

Language:ShellLicense:CC-BY-SA-4.0Stargazers:25724Issues:0Issues:0

plover

Open source stenotype engine

Language:PythonLicense:GPL-2.0Stargazers:2318Issues:0Issues:0

tacofancy

community-driven taco repo. stars stars stars.

Language:CoffeeScriptLicense:UnlicenseStargazers:1285Issues:0Issues:0

my-room-in-3d

Language:JavaScriptStargazers:3327Issues:0Issues:0

khuyentran1401

Stargazers:49Issues:0Issues:0

ocean

Programming language that compiles into a x86 ELF executable.

Language:CLicense:BSD-3-ClauseStargazers:170Issues:0Issues:0

Eagle

Scripts and other files relevant to simulating the Apollo 11 Lunar Module orbit

Stargazers:107Issues:0Issues:0