Skip to content

@muqadma muqadma

Change the repository type filter

All

    Repositories list

    22 repositories

    • simplex-chat

      Public
      SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
      Haskell
      •
      GNU Affero General Public License v3.0
      •353•0•0•1•Updated Aug 23, 2024Aug 23, 2024

    • catala

      Public
      Programming language for literate programming law specification
      OCaml
      •
      Apache License 2.0
      •78•0•0•0•Updated Aug 7, 2024Aug 7, 2024

    • datalabTo-hs

      Public
      Haskell
      •
      MIT License
      •0•0•0•0•Updated Jul 26, 2024Jul 26, 2024

    • pykan

      Public
      Kolmogorov Arnold Networks
      Jupyter Notebook
      •
      MIT License
      •1.4k•0•0•0•Updated May 1, 2024May 1, 2024

    • tldraw-graph-layout

      Public
      Constraint-based graph layout in tldraw
      TypeScript
      •9•0•0•0•Updated Apr 15, 2024Apr 15, 2024

    • LMSS

      Public
      SALI LMSS: Legal Matter Standard Specification
      MIT License
      •13•0•0•0•Updated Apr 1, 2024Apr 1, 2024

    • adaalat

      Public
      SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS and Android apps are released 📱!
      Haskell
      •
      GNU Affero General Public License v3.0
      •353•0•0•0•Updated Mar 16, 2024Mar 16, 2024

    • funflow

      Public
      Functional workflows
      Haskell
      •
      MIT License
      •32•0•0•0•Updated Jan 29, 2024Jan 29, 2024

    • terraform-nixos

      Public
      A set of Terraform modules that are designed to deploy NixOS [maintainer=@adrian-gierakowski]
      HCL
      •
      Apache License 2.0
      •60•0•0•0•Updated Nov 26, 2023Nov 26, 2023

    • llm-verified-with-monte-carlo-tree-search

      Public
      LLM verified with Monte Carlo Tree Search
      Python
      •
      MIT License
      •27•0•0•0•Updated Nov 13, 2023Nov 13, 2023

    • nougat

      Public
      Implementation of Nougat Neural Optical Understanding for Academic Documents
      Python
      •
      MIT License
      •579•0•0•0•Updated Oct 11, 2023Oct 11, 2023

    • llama.cpp

      Public
      Port of Facebook's LLaMA model in C/C++
      C
      •
      MIT License
      •10k•0•0•0•Updated Sep 9, 2023Sep 9, 2023

    • tiktoken

      Public
      tiktoken is a fast BPE tokeniser for use with OpenAI's models.
      Python
      •
      MIT License
      •887•0•0•0•Updated Sep 6, 2023Sep 6, 2023

    • gogol

      Public
      A comprehensive Google Services SDK for Haskell.
      Haskell
      •
      Other
      •105•0•0•0•Updated Aug 22, 2023Aug 22, 2023

    • felix

      Public
      Agda category theory library for denotational design
      Agda
      •5•0•0•0•Updated Jul 30, 2023Jul 30, 2023

    • dionysus

      Public
      Library for computing persistent homology
      C++
      •
      Other
      •31•0•0•0•Updated Jul 6, 2023Jul 6, 2023

    • terraform-nixos-ng

      Public
      Terraform modules for NixOS and spiritual successor to the terraform-nixos project
      HCL
      •
      BSD 3-Clause "New" or "Revised" License
      •10•0•0•0•Updated May 20, 2023May 20, 2023

    • Paddle

      Public
      PArallel Distributed Deep LEarning: Machine Learning Framework from Industrial Practice （『飞桨』核心框架，深度学习&机器学习高性能单机、分布式训练和跨平台部署）
      C++
      •
      Apache License 2.0
      •5.6k•0•0•0•Updated Apr 14, 2023Apr 14, 2023

    • layout

      Public
      LLMs and OCR bhai bhai
      Nix
      •0•0•0•0•Updated Apr 5, 2023Apr 5, 2023

    • libtorch-nix

      Public
      Nix
      •4•0•0•0•Updated Mar 16, 2023Mar 16, 2023

    • servant-oauth2

      Public
      A modern servant wrapper around the wai-middleware-auth OAuth2 provider implementations.
      Haskell
      •
      MIT License
      •4•0•0•0•Updated Oct 5, 2022Oct 5, 2022

    • OWL

      Public
      OWL in agda
      Agda
      •1•0•0•0•Updated Dec 16, 2015Dec 16, 2015