Skip to content

@immortalvm iVM / Inmortal Database Access

Change the repository type filter

All

    Repositories list

    19 repositories

    • ROAEshell

      Public
      A shell to interface with the Read-Only Access Engine (ROAE)
      C
      •0•0•0•1•Updated Dec 20, 2024Dec 20, 2024

    • ivm-fs

      Public
      A filesystem generator for the ivm64 ecosystem
      C
      •0•1•0•0•Updated Dec 11, 2024Dec 11, 2024

    • ivm-compiler

      Public
      The ivm64 C/C++ compiler
      C
      •1•1•0•0•Updated Nov 29, 2024Nov 29, 2024

    • yet-another-fast-ivm-emulator

      Public
      C
      •0•1•0•0•Updated Nov 29, 2024Nov 29, 2024

    • testdata

      Public
      Testdata for the file formats supported by the virtual machine
      Shell
      •0•0•0•0•Updated Nov 25, 2024Nov 25, 2024

    • ivm-apps

      Public
      Applications for iVM
      C
      •2•0•7•1•Updated Nov 19, 2024Nov 19, 2024

    • ivm-implementations

      Public
      iVM contemporary implementations
      F#
      •1•5•8•0•Updated Nov 18, 2024Nov 18, 2024

    • dbspec

      Public
      Interpreter for the DbSpec language
      Java
      •
      Other
      •0•0•0•0•Updated Aug 21, 2024Aug 21, 2024

    • siard2sql

      Public
      A library to convert SIARD format to sqlite3-compliant SQL
      C++
      •0•0•0•0•Updated Aug 19, 2024Aug 19, 2024

    • tree-sitter-ng-dbspec

      Public
      Java bindings for DbSpec parser
      C
      •0•0•0•0•Updated Jun 20, 2024Jun 20, 2024

    • tree-sitter-dbspec

      Public
      JavaScript
      •
      MIT License
      •0•0•0•0•Updated Jun 18, 2024Jun 18, 2024

    • ivm-doc

      Public
      TeX
      •0•1•1•0•Updated Jun 3, 2024Jun 3, 2024

    • ivm-formal-spec

      Public
      Coq
      •0•0•0•0•Updated May 30, 2023May 30, 2023

    • ivm-hex-dump

      Public
      Convert ivm initial program to human readable hex codes.
      C
      •0•0•0•0•Updated Dec 5, 2021Dec 5, 2021

    • ivm-ghostscript

      Public
      Ghostscript for ivm64
      C
      •0•0•0•0•Updated Nov 10, 2021Nov 10, 2021

    • ivm-formal-proofs

      Public
      Coq
      •0•0•0•0•Updated Jun 16, 2021Jun 16, 2021

    • tiff-4.1.0

      Public
      Modified TIFF library for use by iVM
      C
      •
      Other
      •0•0•0•0•Updated Apr 26, 2021Apr 26, 2021

    • afs

      Public
      Clone of piql/afs
      C
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Dec 6, 2020Dec 6, 2020

    • boxing

      Public
      Clone of piql/boxing
      C
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Oct 28, 2020Oct 28, 2020