8000 0rphee (0rphee) / Repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View 0rphee's full-sized avatar
8 followers · 20 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2

Block or report 0rphee

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

  • up Public

    Jupyter Notebook BSD 3-Clause "New" or "Revised" License Updated May 17, 2025

  • stan Public

    Forked from kowainik/stan

    🕵️ Haskell STatic ANalyser

    Haskell Mozilla Public License 2.0 Updated May 15, 2025

  • fordianos Public

    Updated May 8, 2025

  • xolsh Public

    A complete Haskell implementation of lox (jlox) from the Crafting Interpreters Book with an online playground: https://0rphee.github.io/xolsh/.

    Haskell 4 BSD 3-Clause "New" or "Revised" License Updated May 4, 2025

  • compdist-proy Public

    Java BSD 3-Clause "New" or "Revised" License Updated Apr 29, 2025

  • haskell-language-server Public

    Forked from haskell/haskell-language-server

    Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

    Haskell Apache License 2.0 Updated Apr 15, 2025

  • packages Public

    Forked from typst/packages

    Packages for Typst.

    Rust Apache License 2.0 Updated Mar 31, 2025

  • derive-it Public

    A Typst package to create Fitch-style natural deductions.

    Typst 4 MIT License Updated Mar 31, 2025

  • dotfiles Public

    Shell 1 BSD 3-Clause "New" or "Revised" License Updated Mar 20, 2025

  • directory-ospath-streaming Public

    Forked from sergv/directory-ospath-streaming

    Stream directory entries in constant memory in vanilla IO

    Haskell Apache License 2.0 Updated Mar 15, 2025

  • OpenInTerminal Public

    Forked from Ji4n1ng/OpenInTerminal

    ✨ Finder Toolbar app for macOS to open the current directory in Terminal, iTerm, Hyper or Alacritty.

    Swift MIT License Updated Jan 7, 2025

  • asmh Public

    assembler for the i8086 chip (x86_16)

    Haskell BSD 3-Clause "New" or "Revised" License Updated Jan 4, 2025

  • helix Public

    Forked from helix-editor/helix

    A post-modern modal text editor.

    Rust Mozilla Public License 2.0 Updated Dec 24, 2024

  • class-scheduler Public

    PureScript BSD 3-Clause "New" or "Revised" License Updated Dec 21, 2024

  • purescript-data-default Public

    Forked from m-bock/purescript-data-default

    Default values for PureScript types

    Dhall Updated Dec 21, 2024

  • purescript-icalendar Public

    PureScript BSD 3-Clause "New" or "Revised" License Updated Dec 21, 2024

  • pract-nessus Public

    Python MIT License Updated Nov 1, 2024

  • logic Public

    proofs from carnap.io

    MIT License Updated Oct 25, 2024

  • elm-guide Public

    Elm BSD 3-Clause "New" or "Revised" License Updated Oct 7, 2024

  • img-to-ascii Public

    Haskell Other Updated Oct 7, 2024

  • helix-themes Public

    my helix themes

    1 MIT License Updated Sep 4, 2024

  • taki Public

    my attempt on building a linux launcher, inspired by raycast, and based (?) on anyrun

    Rust GNU General Public License v3.0 Updated Aug 22, 2024

  • dw-portfolio Public

    Portafolio parte del proyecto 1 de la clase de Desarrollo Web

    HTML MIT License Updated Jul 18, 2024

  • dw-bot Public

    JavaScript BSD 3-Clause "New" or "Revised" License Updated Jul 17, 2024

  • opt-env-conf Public

    Forked from NorfairKing/opt-env-conf
    Haskell Updated Jul 13, 2024

  • schedule-maker Public

    Haskell 3 1 BSD 3-Clause "New" or "Revised" License Updated Jul 13, 2024

  • nyoom Public

    Forked from ryanccn/nyoom

    A small Firefox userchrome manager

    Rust GNU General Public License v3.0 Updated Jun 30, 2024

  • kak-config Public

    my kakoune config

    KakouneScript BSD 3-Clause "New" or "Revised" License Updated Jun 26, 2024

  • prop-logic-paevty Public

    parse propositional logic sentences, evaluate them and create truth-tables for typst

    Haskell BSD 3-Clause "New" or "Revised" License Updated Jun 24, 2024

  • flatparse Public

    Forked from AndrasKovacs/flatparse

    Fast parsing from bytestrings

    Haskell MIT License Updated Jun 17, 2024
0