Skip to content
View nachivpn's full-sized avatar
94 followers · 34 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Organizations

@silcnitc @fosscell @OctopiChalmers

Block or report nachivpn

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

  • kripke-style Public

    Organisation for reading group on Kripke-style semantics

    3 Updated Oct 24, 2024

  • alg Public

    Agda 1 Updated Oct 23, 2024

  • s Public

    Kripke semantics for strong functors

    Agda 2 Creative Commons Attribution 4.0 International Updated Oct 16, 2024

  • nbe-course Public

    NbE course @ Chalmers

    28 1 Updated Sep 24, 2024

  • k Public

    Meta-theory and normalization for Fitch-style modal lambda calculi

    Agda 18 2 Creative Commons Attribution 4.0 International Updated May 27, 2024

  • fcs2024 Public

    Forked from FCS-Workshop/fcs2024

    FCS website

    HTML Updated Apr 24, 2024

  • cbv Public

    Matters of Call-by-value

    Agda 3 Updated Jun 23, 2023

  • nbe-edsl Public

    Normalization by Evaluation for Embedded Domain-specific Languages

    Haskell 29 1 BSD 3-Clause "New" or "Revised" License Updated Jun 15, 2023

  • latex-biblio Public

    Forked from carlostome/latex-biblio
    TeX Updated Sep 5, 2022

  • cc Public

    Fiddling around with Categorical Combinators

    Agda Updated Jun 29, 2022

  • gluetn Public

    Normalization for Gödel's system T using a glueing model construction

    Agda 8 2 Updated Nov 25, 2021

  • ChalmersSecurity Public

    Forked from Niteo/ChalmersSecurity

    temporal storage while re-designing a new page

    JavaScript MIT License Updated Oct 29, 2020

  • ni-nbe Public

    Forked from carlostome/ni-nbe

    Noninterference by normalization (by evaluation)

    Agda Updated Jun 25, 2020

  • bufferedis Public

    An asynchronous write buffer for Redis using Jedis client

    Java 4 3 GNU General Public License v2.0 Updated Feb 5, 2020

  • nbe-stlc Public

    Normalization by Evaluation for STLC with sums (no proof of correctness, shame! shame! shame!)

    Agda 12 Updated Nov 22, 2019

  • expelim Public

    Exponential Elimination for Categorical Combinators

    Agda 10 Updated Oct 31, 2019

  • cat Public

    Category theory proofs in Agda

    Agda 2 Updated Oct 6, 2019

  • stlc-nbe Public

    Forked from AndrasKovacs/stlc-nbe

    Correctness of normalization-by-evaluation for STLC

    Agda Updated Oct 1, 2019

  • syntactic-ni Public

    Migrated to https://github.com/carlostome/ni-nbe

    Agda 6 Updated Jul 23, 2019

  • nbe-monadic Public

    Experiments with NbE for all sorts of funky monadic extensions of STLC

    Agda 1 Updated Jul 4, 2019

  • coherence Public

    Proof of coherence for the initial CCC

    Agda 4 Updated Mar 12, 2019

  • dat037-2018-exercises Public

    http://www.cse.chalmers.se/edu/year/2018/course/DAT037_Datastrukturer/

    Java Updated Jan 5, 2019

  • simplicity Public

    Simplicity as a Haskell eDSL

    Haskell Apache License 2.0 Updated Oct 23, 2018

  • papers-we-love.github.io Public

    Forked from papers-we-love/papers-we-love.github.io

    Official Papers We Love site

    CSS Updated Oct 18, 2018

  • mt Public

    Master thesis on developing a static type checker for Erlang

    erlang master-thesis hindley-milner type-inference
    Erlang 27 1 MIT License Updated Sep 30, 2018

  • ipl Public

    Forked from andreasabel/ipl

    Agda formalization of Intuitionistic Propositional Logic

    Agda The Unlicense Updated Jul 23, 2018

  • eh Public

    Everything Haskell

    Haskell MIT License Updated Feb 28, 2018

  • lazy-lambda Public

    Formalization of a lazy lambda calculus semantics

    Agda Updated Nov 3, 2017

  • molr-core Public

    A task delegation framework. Migrated to https://github.com/molr/molr-remote

    Java Updated Aug 15, 2017

  • Olifant Public

    Forked from jaseemabid/Olifant

    A simple lambda calculus like language targeting LLVM

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