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

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: YOLOAchievement: Public SponsorAchievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: YOLOAchievement: Public SponsorAchievement: Arctic Code Vault Contributor

Block or report janmasrovira

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

  • ascetic-slug Public

    HTML Updated Apr 26, 2025

  • hermes Public

    Minimalistic blog theme.

    HTML MIT License Updated Apr 26, 2025

  • anemone Public

    Forked from Speyll/anemone

    A Zola theme embracing minimalism, focusing on clean CSS while steering clear of resource-heavy JavaScript. Immerse yourself in a seamless user experience, powered by lightning-fast load times. ⚡

    HTML GNU General Public License v3.0 Updated Apr 13, 2025

  • docker-texlive Public

    Dockerfile Updated Mar 28, 2025

  • lean-practice Public

    Lean Updated Mar 23, 2025

  • btop-config Public

    Updated Feb 4, 2025

  • lsp-playground Public

    Haskell BSD 3-Clause "New" or "Revised" License Updated Dec 26, 2024

  • juvix Public

    Forked from anoma/juvix

    A language for intent-centric and declarative decentralised applications

    Haskell GNU General Public License v3.0 Updated Nov 1, 2024

  • tokei Public

    Forked from XAMPPRocky/tokei

    Count your code, quickly.

    Rust Other Updated Aug 21, 2024

  • elaboration-zoo Public

    Forked from AndrasKovacs/elaboration-zoo

    Minimal implementations for dependent type checking and elaboration

    Haskell BSD 3-Clause "New" or "Revised" License Updated Aug 5, 2024

  • masterlogic-thesis Public

    TeX Updated Jul 26, 2024

  • surfingkeys-config Public

    JavaScript Updated Jul 12, 2024

  • effectful Public

    Forked from haskell-effectful/effectful

    An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

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

  • haskeline Public

    Forked from haskell/haskeline

    A Haskell library for line input in command-line programs.

    Haskell BSD 3-Clause "New" or "Revised" License Updated Feb 5, 2024

  • stack-machine Public

    Haskell Updated Dec 22, 2023

  • microlens Public

    Forked from stevenfontanella/microlens

    A lightweight (but compatible with ‘lens’) lenses library

    Haskell Updated Aug 27, 2023

  • repline Public

    Forked from sdiehl/repline

    Haskeline wrapper for GHCi-like REPL interfaces

    Haskell MIT License Updated May 25, 2023

  • containers Public

    Forked from anoma/juvix-containers

    6931 Immutable container types for Juvix

    Makefile Updated May 3, 2023

  • path-io Public

    Forked from mrkkrp/path-io

    Operations on files and directories with typed paths

    Haskell Other Updated Jan 5, 2023

  • docker-emacs-org Public

    Mirror of https://gitlab.com/janmasrovira/docker-emacs-org

    Emacs Lisp Updated Jul 17, 2022

  • coq Public

    Forked from rocq-prover/rocq

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

    OCaml GNU Lesser General Public License v2.1 Updated Jun 16, 2021

  • Tidal-Media-Downloader Public

    Forked from yaronzz/Tidal-Media-Downloader

    Download 'TIDAL' Music On Windows/Linux/MacOs (PYTHON/C#)

    Python Apache License 2.0 Updated Nov 18, 2020

  • gen-veltman-semantics-aiml-2020 Public

    Generalised Veltman Semantics in Agda

    TeX Updated Aug 25, 2020

  • Zeno Public

    Forked from Gurmeet-Singh/Zeno

    Unofficial Zeno clone. Works with ghc-7.10.3 and stack

    Haskell MIT License Updated Feb 23, 2018
0