yonatan-reicher/lang

Language: Rust - Size: 60.5 KB - Last synced at: 7 days ago - Pushed at: 8 days ago - Stars: 0 - Forks: 0

yonatan-reicher/site

Language: JavaScript - Size: 5.26 MB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 0 - Forks: 0

yonatan-reicher/interpreter-in-lean

This repo is a WIP simple interpreter to test out Lean as a functional language.

Language: Lean - Size: 56.6 KB - Last synced at: 4 days ago - Pushed at: 29 days ago - Stars: 0 - Forks: 0

yonatan-reicher/minecraft-2d

Language: Rust - Size: 60.5 KB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 0 - Forks: 0

yonatan-reicher/eacy

A small, header only, macro-heavy, quality of life library. Has wrappers for generic arrays, strings, and other basic things

Language: C - Size: 18.6 KB - Last synced at: 30 days ago - Pushed at: 30 days ago - Stars: 0 - Forks: 0

yonatan-reicher/nessie-parse

An easy and monadic rust parser combinator library

Language: Rust - Size: 1.38 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

yonatan-reicher/game

Language: F# - Size: 89.8 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

yonatan-reicher/latex-2-lean

Language: Rust - Size: 30.3 KB - Last synced at: 9 days ago - Pushed at: 11 days ago - Stars: 0 - Forks: 0

yonatan-reicher/TekClinic-Web-App Fork of TekClinic/TekClinic-Web-App

Front-end for TekClinic's web application, using next.js

Language: TypeScript - Size: 2.69 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

yonatan-reicher/lean

This repository holds my current research into Lean!

Language: Lean - Size: 41 KB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

yonatan-reicher/tableau-visualizer

A visualizer for tableau/tableau from an LTL formula

Language: JavaScript - Size: 214 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

yonatan-reicher/init.lua

Language: Lua - Size: 26.4 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

yonatan-reicher/Setup Fork of TekClinic/Setup

Language: Python - Size: 8.24 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

yonatan-reicher/winu

My command line tools for working with nushell on windows!

Language: Nushell - Size: 1000 Bytes - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

yonatan-reicher/lean-all

Language: Lean - Size: 0 Bytes - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

yonatan-reicher/edusat-ipasir

This project connects Ofer's Edusat to Ipasir interface for incremental SAT solvers

Language: C++ - Size: 98.1 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

yonatan-reicher/edusat

Language: C - Size: 2.23 MB - Last synced at: 23 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

yonatan-reicher/windows-terminal-settings

My wt.exe config! 💻💥

Size: 1.95 KB - Last synced at: 16 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

yonatan-reicher/functionality

Rust |> functional programing = 💖

Language: Rust - Size: 0 Bytes - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

yonatan-reicher/API-Gateway Fork of TekClinic/API-Gateway

Size: 2.39 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

yonatan-reicher/fuzzer

Language: HTML - Size: 400 KB - Last synced at: 5 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

yonatan-reicher/data-structures-hw-1

Language: C++ - Size: 5.97 MB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

yonatan-reicher/Tasks-MicroService Fork of TekClinic/Tasks-MicroService

Language: Go - Size: 73.2 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

yonatan-reicher/gr-redesign

A redesign of the site of the technion's faculty of computer science, gr++

Language: CSS - Size: 1.56 MB - Last synced at: 5 months ago - Pushed at: 9 months ago - Stars: 3 - Forks: 0

yonatan-reicher/obsidian-open-in-terminal

Language: TypeScript - Size: 85 KB - Last synced at: 5 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

yonatan-reicher/proof-assistant

Language: Rust - Size: 58.6 KB - Last synced at: 5 months ago - Pushed at: 11 months ago - Stars: 2 - Forks: 0

yonatan-reicher/lisper

Language: Standard ML - Size: 10.7 KB - Last synced at: 8 days ago - Pushed at: 11 months ago - Stars: 0 - Forks: 1

yonatan-reicher/fsharp-polymorphism

This code walks step by step through special syntax and features in the F# language that allow for very flexible static duck typing and polymorphism.

Language: F# - Size: 3.91 KB - Last synced at: 5 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

yonatan-reicher/obsidian-releases Fork of obsidianmd/obsidian-releases

Community plugins list, theme list, and releases of Obsidian.

Size: 20.4 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

yonatan-reicher/oop-hw5

Language: C++ - Size: 497 KB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

yonatan-reicher/atam-hw3

Language: Assembly - Size: 10.7 KB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

yonatan-reicher/text-adventure

Language: Rust - Size: 1.95 KB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

yonatan-reicher/data-structures-hw-2

Language: C++ - Size: 1.03 MB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

yonatan-reicher/databases-hw2

Language: Python - Size: 1.84 MB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

yonatan-reicher/oop-hw2

Language: Java - Size: 67.4 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

yonatan-reicher/atam-hw1

Language: Assembly - Size: 99.6 KB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

yonatan-reicher/flow-program

Language: Rust - Size: 7.81 KB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

yonatan-reicher/brainduck-ui

Language: JavaScript - Size: 235 KB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

yonatan-reicher/space-game

A project I created to test out the bevy engine that I want to continue!

Language: Rust - Size: 146 KB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

yonatan-reicher/phaser-character-test

A test project to make a phaser character controller

Language: JavaScript - Size: 1.78 MB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

yonatan-reicher/phaser-tutorial

Just the implementation of the phaser 3 tutorial

Language: JavaScript - Size: 1.13 MB - Last synced at: 5 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

yonatan-reicher/wave-function-collapse

Language: C# - Size: 5.1 MB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

yonatan-reicher/pong

A project started from impactjs's tutorial

Language: JavaScript - Size: 2.98 MB - Last synced at: 5 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

yonatan-reicher/ex0_introtogit Fork of CS234124/ex0_introtogit

Introductory exercise in Matam in Git

Language: C - Size: 2.93 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

yonatan-reicher/Best-README-Template Fork of othneildrew/Best-README-Template

An awesome README template to jumpstart your projects!

Size: 45.9 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

yonatan-reicher/bootstrap

Language: Rust - Size: 229 KB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

yonatan-reicher/matam-ex5

Language: Python - Size: 8.79 KB - Last synced at: 5 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

yonatan-reicher/matam-ex3

Language: C++ - Size: 938 KB - Last synced at: 5 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

yonatan-reicher/matam-ex2 Fork of yontigithub/ex2

Language: C++ - Size: 14.6 KB - Last synced at: 7 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

yonatan-reicher/matam-ex1 Fork of roykharmanT/ex1

Language: C - Size: 1.3 MB - Last synced at: 7 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

yonatan-reicher/yippee

Language: Elm - Size: 62.7 MB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

yonatan-reicher/boots

Language: Rust - Size: 226 KB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 0 - Forks: 0

yonatan-reicher/lists

Language: JavaScript - Size: 106 KB - Last synced at: 30 days ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

yonatan-reicher/AB

A very low level language which compiles directly into readable TASM to run on DOSBOX

Language: F# - Size: 116 KB - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

yonatan-reicher/pink-floyd

An old and rushed project I'm keeping up because most of my client-server projects are not on GitHub. A python-sockets server that provides services for all your pink floyd needs. A Magshimim year 1 project!

Language: Python - Size: 93.8 KB - Last synced at: 15 days ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

yonatan-reicher/expression-script

An minimal scripting language that is pure and functional. Currently WIP

Language: Rust - Size: 19.5 KB - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

yonatan-reicher/push-vec

A crate that exposes a push-only vector type. Useful for getting a reference to an element and pushing more elements simultaneously

Language: Rust - Size: 21.5 KB - Last synced at: 10 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

yonatan-reicher/nessie

A (soon to be) functional scripting language

Language: Rust - Size: 237 KB - Last synced at: about 2 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

yonatan-reicher/seximal-convert

A seximal conversion site

Language: HTML - Size: 181 KB - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

yonatan-reicher/Mal

Language: F# - Size: 10.7 KB - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

yonatan-reicher/Nessie_Test

Old prototype PL project expirementation

Language: F# - Size: 14.6 KB - Last synced at: 5 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

yonatan-reicher/officeBatman

Config files for my GitHub profile.

Size: 1000 Bytes - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

yonatan-reicher/particle-life

Language: Rust - Size: 71.3 KB - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

yonatan-reicher/digital_canvas

A small script that recognizes digits you draw using tensorflow and the mnist dataset

Language: PureBasic - Size: 2.03 MB - Last synced at: 24 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

yonatan-reicher/sudoku-fable

A sudoku solver site built using F# with the amazing Fable library

Language: F# - Size: 7.99 MB - Last synced at: 3 days ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

yonatan-reicher/blobs

A graphical 2D simulation of living blobs that eat food and also each other

Language: Rust - Size: 106 KB - Last synced at: 5 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

yonatan-reicher/toy_language

A toy PL with type-checking and error handling

Language: Rust - Size: 11.7 KB - Last synced at: 5 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

yonatan-reicher/jinjer

Language: Rust - Size: 21.5 KB - Last synced at: 5 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

yonatan-reicher/roguelike

Language: Rust - Size: 156 KB - Last synced at: 5 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

yonatan-reicher/nessie_compiler

Language: F# - Size: 37.1 KB - Last synced at: 26 days ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

yonatan-reicher/ParLi

A generic parser library inspired by FParsec

Language: F# - Size: 39.1 KB - Last synced at: 5 months ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

yonatan-reicher/Typeliss

Language: F# - Size: 125 KB - Last synced at: 5 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

yonatan-reicher/PicGen

A small library for creating pictures and shaders in f# and writing them in ppm format

Language: F# - Size: 14.6 KB - Last synced at: 5 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0