Skip to content
View jorpic's full-sized avatar
43 followers · 4 following
  • Formal Methods
  • In transit

Organizations

@f-me

Block or report jorpic

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

  • colorful-triples Public

    Rust MIT License Updated Nov 5, 2024

  • pdfrip Public

    Forked from mufeedvh/pdfrip

    A multi-threaded PDF password cracking utility equipped with commonly encountered password format builders and dictionary attacks.

    Rust MIT License Updated Apr 30, 2024

  • weather Public

    Python MIT License Updated Apr 26, 2024

  • fhmp Public

    Fitter, happier, more productive

    Rust MIT License Updated Mar 22, 2024

  • frodus Public

    Python 1 Updated Feb 19, 2024

  • string-processing-by-example Public

    Haskell MIT License Updated Dec 14, 2023

  • euclid-proof-checker Public

    Checking proofs from Euclid's book I in Haskell

    Haskell BSD 3-Clause "New" or "Revised" License Updated Dec 14, 2023

  • stack-templates Public

    MIT License Updated Nov 27, 2023

  • jsii-rosetta Public

    Forked from aws/jsii-rosetta

    The jsii sample code transliterator

    TypeScript Apache License 2.0 Updated Nov 15, 2023

  • parrots-at-work Public

    Shell Updated Aug 20, 2023

  • stm32f1xx-hal Public

    Forked from stm32-rs/stm32f1xx-hal

    A Rust embedded-hal HAL impl for the STM32F1 family based on japarics stm32f103xx-hal

    Rust Apache License 2.0 Updated Jul 28, 2023

  • tlaplus Public

    Forked from tlaplus/tlaplus

    TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

    Java MIT License Updated Jul 10, 2023

  • helix Public

    Forked from helix-editor/helix

    A post-modern modal text editor.

    Rust Mozilla Public License 2.0 Updated Mar 18, 2023

  • doc-gen4 Public

    Forked from leanprover/doc-gen4

    Document Generator for Lean 4

    Lean Apache License 2.0 Updated Mar 4, 2023

  • stack Public

    Forked from commercialhaskell/stack

    The Haskell Tool Stack

    Haskell Other Updated Jan 21, 2023

  • haskell-tree-sitter Public

    Forked from tree-sitter/haskell-tree-sitter

    Haskell bindings for tree-sitter

    Haskell 1 Updated Jan 21, 2023

  • haskell-tree-sitter-tlaplus Public

    Haskell bindings for tree-sitter grammar of TLA+ and PlusCal

    Haskell Updated Jan 19, 2023

  • nyc-zipcodes-in-kml Public

    KML with zip codes and corresponging regions of New York city

    kml geopandas
    Python Updated Jan 18, 2023

  • moonboard-analysis Public

    Show some stats on moonboard problems

    JavaScript Updated Jan 7, 2023

  • square-sums Public

    JavaScript Updated Jan 6, 2023

  • tla-ui Public archive

    Experimantal IDE for TLA+

    Rust MIT License Updated Dec 10, 2022

  • phony-sqlite-engine Public

    Play with SQLite's query bytecode

    Haskell MIT License Updated Nov 30, 2022

  • playground Public

    TypeScript Updated Nov 19, 2022

  • graphicallinearalgebra-book Public

    Python Updated Nov 19, 2022

  • colorful-numbers Public

    Nice pictures

    Haskell BSD 3-Clause "New" or "Revised" License Updated Nov 11, 2022

  • idik Public

    Learn K3 language from idioms

    Haskell BSD 3-Clause "New" or "Revised" License Updated Oct 25, 2022

  • easy25519-kotlin Public

    Typeful wrapper over group elements from ed25519-java

    Kotlin Creative Commons Zero v1.0 Universal Updated Oct 16, 2022

  • build_json_in_postgres Public

    Benchmarking various methods of building JSON objects in PostgreSQL

    Haskell MIT License Updated May 26, 2022

  • questionary Public

    Please answer some questions

    TypeScript Updated May 10, 2021

  • eco-log Public

    TypeScript MIT License Updated Apr 2, 2021