Giters
Robert Schenck (zfnmxt)

zfnmxt

Geek Repo

45

followers

60

following

149

stars

Home Page:https://rschenck.com

Github PK Tool:Github PK Tool

Robert Schenck's starred repositories

ap-notes

Course notes for AP

Language:HaskellStargazers:2Issues:0Issues:0

ap-e2024-pub

Public repository for Advanced Programming

Language:HaskellStargazers:19Issues:0Issues:0

DreamBerd

perfect programming language

License:NOASSERTIONStargazers:11031Issues:0Issues:0

jampack

Optimizes static websites for best user experience and best Core Web Vitals scores.

Language:TypeScriptLicense:MITStargazers:1599Issues:0Issues:0

atopile

Design circuit boards with code! ✨ Get software-like design reuse 🚀, validation, version control and collaboration in hardware; starting with electronics ⚡️

Language:PythonLicense:Apache-2.0Stargazers:1853Issues:0Issues:0

spreadsheets-are-all-you-need

Stargazers:1112Issues:0Issues:0

jj

A Git-compatible VCS that is both simple and powerful

Language:RustLicense:Apache-2.0Stargazers:7674Issues:0Issues:0

shittier

Shittier is an unconventional code formatting tool

Language:TypeScriptLicense:MITStargazers:1586Issues:0Issues:0

disco

Functional teaching language for use in a discrete mathematics course

Language:TeXLicense:NOASSERTIONStargazers:158Issues:0Issues:0

typst

A new markup-based typesetting system that is powerful and easy to learn.

Language:RustLicense:Apache-2.0Stargazers:31808Issues:0Issues:0

awesome-flipperzero

🐬 A collection of awesome resources for the Flipper Zero device.

License:CC0-1.0Stargazers:17805Issues:0Issues:0

pbr-book-website

Language:HTMLLicense:NOASSERTIONStargazers:442Issues:0Issues:0

meshfree_solver_regent

Regent implementation of q-LSKUM.

Language:RougeStargazers:6Issues:0Issues:0

SMT

Toy SMT solver written in Haskell

Language:HaskellStargazers:2Issues:0Issues:0

nixos-config

General purpose Nix configuration for macOS / NixOS with starter templates, step-by-step guides, and more ✨

Language:NixLicense:BSD-3-ClauseStargazers:1318Issues:0Issues:0

pifs

πfs - the data-free filesystem!

Language:CLicense:GPL-3.0Stargazers:6655Issues:0Issues:0

containers

A Futhark library with data structures.

Language:FutharkLicense:ISCStargazers:4Issues:0Issues:0

python-mastery

Advanced Python Mastery (course by @dabeaz)

Language:PythonLicense:CC-BY-SA-4.0Stargazers:10573Issues:0Issues:0

ad-spatial-search

Language:FutharkStargazers:3Issues:0Issues:0

MPCTT

Modeling and Proving in Computational Type Theory

Language:CoqStargazers:76Issues:0Issues:0

autobound

AutoBound automatically computes upper and lower bounds on functions.

Language:PythonLicense:Apache-2.0Stargazers:351Issues:0Issues:0

SeqSolve

SeqSolve is procedure for the satisfiability of string equations with length constraints. It is based on a non-deterministic transition system TranSeq which is part of the Mathematical Programming Modulo Theories framework.

Language:SMTStargazers:1Issues:0Issues:0

makanin-algo

Implementation of Makanin's algorithm for string equation satisfiability

Language:RacketStargazers:2Issues:0Issues:0

tiny-games-hs

Haskell Tiny Game Jam

Language:HaskellStargazers:157Issues:0Issues:0

futhark-playground

Futhark playground

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

lys

Library for writing interactive and visual Futhark programs :boom: :art: :video_game: :boom:

Language:CLicense:ISCStargazers:22Issues:0Issues:0

nixos-anywhere

install nixos everywhere via ssh [maintainer=@numtide]

Language:ShellLicense:MITStargazers:1305Issues:0Issues:0

edda

Experimenting with Futhark programming style

Language:FutharkStargazers:5Issues:0Issues:0

Remora

Dependently-typed language with Iverson-style implicit lifting

Language:RacketStargazers:121Issues:0Issues:0

komorebi

A tiling window manager for Windows 🍉

Language:RustLicense:NOASSERTIONStargazers:8234Issues:0Issues:0