Skip to content
View Luis-omega's full-sized avatar
  • Mlabs
  • México

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex2Achievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex2Achievement: Pull Sharkx2

Block or report Luis-omega

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • Octizys Public

    A functional language

    Rust MIT License Updated Oct 23, 2024

  • DotFiles Public

    My dotfiles

    Lua 2 Updated Aug 29, 2024

  • Daiyatsu Public

    A clr1parser generator made in Rust

    Rust MIT License Updated Aug 22, 2024

  • Bin Public

    My personal collection of scripts

    Shell MIT License Updated Aug 4, 2024

  • Lambda Public

    Rust Updated May 25, 2024

  • Grants-Program Public

    Forked from Sparsa/Grants-Program

    Web3 Foundation Grants Program

    JavaScript Apache License 2.0 Updated Jan 25, 2024

  • mal Public

    Forked from kanaka/mal

    mal - Make a Lisp

    Assembly Other Updated Jan 18, 2024

  • Degumin Public

    Python Updated Dec 24, 2023

  • idris2-lsp Public

    Forked from idris-community/idris2-lsp

    Language Server for Idris2

    Idris BSD 3-Clause "New" or "Revised" License Updated Dec 8, 2023

  • STLC Public

    Simple typed lambda calculus with recursion in python

    Python 2 MIT License Updated Oct 20, 2023

  • LSP-lib Public

    Forked from idris-community/LSP-lib

    A universal library that models the Language Server Protocol in Idris2 and aims to provide scaffolding for language server implementations.

    Idris BSD 3-Clause "New" or "Revised" License Updated Sep 1, 2023

  • HMeguKin Public

    Haskell MIT License Updated Jul 6, 2023

  • MeguKin Public

    A functional language it's first step is to compile to python code.

    Python Updated Jun 22, 2023

  • seath Public

    Forked from mlabs-haskell/seath
    MIT License Updated Jan 13, 2023

  • SDayuki Public

    Simple Dayuki is a simple typed lambda calculus with bidirectional type checking and holes.

    Haskell MIT License Updated Mar 28, 2022

  • DayuriParserGenerator Public

    CLR(1) parser generator in Haskell

    Haskell Other Updated Dec 7, 2021

  • Luis-omega Public

    Config files for my GitHub profile.

    config github-config
    Updated Nov 24, 2021

  • Learning-Haskell Public

    A haskell tutorial for mathematicians

    Haskell Other Updated Nov 20, 2021

  • PyDayuri Public

    A compiler for Dayuri functional language implemented in Python

    compiler compiler-construction programing-languagues
    Python 3 Updated Oct 27, 2021

  • Semanticas_de_Kripke Public

    Short work for proof theory

    TeX Updated Jun 21, 2021

  • parser_generator Public

    A Lr(1) parser generator for my project Dayuri

    Python MIT License Updated Dec 28, 2020

  • Dayuri Public archive

    Functional language

    Python MIT License Updated Nov 7, 2020