Giter Site home page Giter Site logo

👋 Shalom!

I'm Yoav, and welcome to my Github page! I am essentially a student, and create these programming projects in my spare time. I like to solve logical and computer science problems, play Minecraft and Chess and of course, code. I am interested in learning about new paradigms of programming, like the functional, or logic paradigms, as well as learning about type theory.

ℹī¸ Some facts about me

  • I mainly program in Rust, Python and MCfunction and Java.
  • Before trying out more traditional programming languages, I used in MCfunction (and still do 😄).
  • My work-in-progress programming language, Bell begun development around 2021, meaning it is around 2 years old!
  • My OS usage history is: Windows ➡ī¸ Pop!_OS ➡ī¸ NixOS ➡ī¸ Fedora Linux.
  • I am also working on a degree in my spare time through the Open University of Israel, although it is primarily for "fun".

🛠ī¸ What are you working on right now?

🔔 The Bell Programming Language, again

Bell's repository has been mostly inactive for quite some time, most of the time even being uncompilable. However even if one could have used the existing tools they were to be frank, quite underfeatured and bad. Sadly the problem Bell set out to solve still isn't "fixed" and so I have decided to take another stab at the problem, this time with much more preplanning. Bell is currently being redesigned in it's own organization, with a design document being worked on (bell-lang/design). In general the new language is planned to be a secure and safe functional language, with effects and dependent types among others, for Minecraft development, primarily of heavily computer sciencey and mathematical programs, and for mapmaking.

#ī¸âƒŖ The Hash Chess Engine

Hash is the continuation of Fisher, a toy Chess engine i've been working on before. Unlike Fisher, Hash sports faster performance, new data structures and is currently much more developed. These changes have been enabled by the mistakes i've learned from, first from Fisher, and then from Peon, which was a Chess move generation library, partially derived from Fisher.

Hash is designed as an experimental Chess engine, with my current plans being to have it utilize MCTS with some new recent improvements (MCGS, Murphy Sampling, Root-Tree parallelization, etc.), alongside using the lc0 weights, although things could and have changed quite a lot.

đŸ“Ģ Do I have to contact you via E-mail?

No! Of course not. I also have a Discord account. Feel free to talk to me at miestrode. Preferably about things related to my Github as long as you come directly from here.

That's All Folks!

Yoav Grimland's Projects

bigbrain icon bigbrain

Logic circuit optimizer using equality saturation, Quine-McCluskey, and ILP

blog icon blog

Source for my personal blog

dwasd icon dwasd

The distance-based WASD detector for Minecraft that works with no entities

ekege icon ekege

An alternative Egglog engine

executioner icon executioner

Hangman player using information theory, including a mode of player vs. computer

local-wasd icon local-wasd

Local-wasd is a minecraft datapack to track the players WASD ouput using mathematics.

momentum icon momentum

bad experiment in compiling computational graphs to run on the GPU

simple-snake icon simple-snake

A little Snake clone I made while experimenting with Bevy.

sourcerer icon sourcerer

Typst package for displaying stylized source code blocks, with some extra features.

stripper icon stripper

Convert PDDL files with basic requirements to pure STRIPS ones

tango icon tango

An optimized, and maintainable Minecraft name sniper.

turing icon turing

PDDLsim agent evaluation system

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤ī¸ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.