iagoleal

iagoleal's Stars

• nushell/nushell

  A new type of shell

  Language:Rust31.8k1905.7k1.6k

• kmonad/kmonad

  An advanced keyboard manager

  Language:Haskell3.9k36594320

• system-fonts/modern-font-stacks

  System font stack CSS organized by typeface classification for every modern operating system

  Language:HTML2.7k272139

• ValeLang/Vale

  Compiler for the Vale programming language - http://vale.dev/

  Language:Scala1.8k3236553

• vpavlenko/study-music

  An "awesome music theory" kinda wiki with books, resources and courses for studying everything about music and sound

  1.8k43060

• Haskell-Things/ImplicitCAD

  A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...

  Language:JavaScript1.4k50244142

• bgavran/Category_Theory_Machine_Learning

  List of papers studying machine learning through the lens of category theory

  Language:Python1.3k68070

• OpenLogicProject/OpenLogic

  An open-source, customizable intermediate logic textbook

  Language:TeX1.1k99169238

• PanderMusubi/inkscape-open-symbols

  Open source SVG symbol sets that can be used as Inkscape symbols

  Language:Shell6954010094

• AndrasKovacs/elaboration-zoo

  Minimal implementations for dependent type checking and elaboration

  Language:Haskell605403235

• melisgl/mgl

  Common Lisp machine learning library.

  Language:Common Lisp586391339

• JuliaSymbolics/Metatheory.jl

  Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

  Language:Julia3571212247

• LPCIC/elpi

  Embeddable Lambda Prolog Interpreter

  Language:Prolog2831211535

• incoherentsoftware/defect-process

  Defect Process (2d hack n' slash game) full source code

  Language:Haskell21010813

• patoline/patoline

  Patoline typesetting system

  Language:OCaml184202512

• CyberCat-Institute/open-game-engine

  Haskell implementation of open games

  Language:Haskell14412626

• mchakravarty/BigPixel

  Pixel art for games

  Language:Haskell1401519

• RoganMurley/GALGAGAME

  GALGA: Multiplayer card game written in Haskell and Elm.

  Language:Elm134483

• haas/harmtrace

  HarmTrace (Harmony Analysis and Retrieval of Music with Type-level Representations of Abstract Chords Entities) is a system for automatic harmony analysis of music.

  Language:Haskell55436

• rktjmp/shenzhen-solitaire.nvim

  Shenzhen I/O Solitaire, now in Neovim

  Language:Fennel43242

• TheInnerLight/tiki-tech

  Language:Haskell43231

• alt-romes/ghengin

  Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine

  Language:Haskell42540

• regex-generate/regenerate

  Tool to generate test-cases for regular expression engines

  Language:OCaml34344

• pedromxavier/DocumenterDiagrams.jl

  Diagram features for Documenter.jl, powered by Kroki.jl

  Language:Julia16230

• pedromxavier/flag-badges

  made in <flag> badges for your projects

  Language:Python13102

• raphasampaio/UnsupervisedClustering.jl

  Yet another clustering package

  Language:Julia123220

• stevana/coroutine-state-machines

  State machines with async I/O capabilities

  Language:Haskell11200

• pedroripper/Raynbow.jl

  :rainbow: A simple ray and path tracing package

  Language:Julia6100

• psrenergy/QUBODrivers.jl

  🔵 Interface and drivers for integrating Solvers and Samplers with the JuMP/MOI ecosystem

  Language:Julia6581

• rafabench/ModelCompare

  The purpose of this project is to compare two optimization models in two different files

  Language:Julia3311