isidentical-archive / Arkhe

Related projects ⓘ

Alternatives and complementary repositories for Arkhe

• delirehberi / spotifyctl
  Spotify control tool
  ☆12Updated 4 years ago
• f / mertlang
  ☆7Updated 8 years ago
• unalman / learn-you-a-haskell-tr
  ☆10Updated 2 years ago
• inzva / DOH
  Complete Haskell bindings for DigitalOcean API V2
  ☆9Updated 6 years ago
• gelis-tr-io / website
  Organizasyonun websitenin bulunduğu repo.
  ☆51Updated 5 years ago
• yigitozkavci / typelevel-dijkstra-sp
  Dijkstra's shortest path algorithm implemented at type level with Haskell
  ☆20Updated 6 years ago
• frontendship / website
  ☆10Updated last year
• bbyalcinkaya / Pyfuck
  A modern dialect of the best programming language ever.
  ☆10Updated 4 years ago
• ayberkt / pixs
  An image-processing library for Haskell.
  ☆10Updated 8 years ago
• cenary-lang / cenary
  A Language and its compiler on Ethereum Virtual Machine
  ☆14Updated 5 years ago
• fetfrip / fetfrip
  HumHub - Open Source Social Network
  ☆8Updated 9 years ago
• GoktugEk / encrypted-shazam
  Privacy preserving version of Shazam, implemented as the solution to the Bounty Program of Zama
  ☆28Updated 9 months ago
• mhcifci / typescript-derslerim
  ☆7Updated last year
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 6 years ago
• yusufusta / eksipy
  ekşi sözlük için unofficial ve private ASYNC API, giriş yapabilir; entry gönderebilirsiniz.
  ☆18Updated 3 years ago
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 4 years ago
• aitorres / rockstar-lexer
  A simple Lexer for the Rockstar programming language specification written in Haskell with the Alex tool.
  ☆12Updated 5 years ago
• cengwins / ahc
  This is an event-driven asynchronous component model developed in Python. This library can be used to design and implement component-base…
  ☆20Updated 6 months ago
• xmonader / pyparsec
  python parser combinators (parsec) library
  ☆11Updated 6 years ago
• rasitds / senchabot-discord-bot-ts
  Senchabot Discord Bot Open-Source Repository
  ☆12Updated last year
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated last year
• 8l / myrddin
  ☆8Updated 9 years ago
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆73Updated 12 years ago
• mortberg / yacctt
  yacctt: Yet Another Cartesian Cubical Type Theory
  ☆74Updated 6 years ago
• kowainik / life-sync
  🔄 Synchronize personal configs across multiple machines
  ☆21Updated 4 years ago
• DeepSec-prover / deepsec
  DEciding Equivalence Properties in SECurity protocols
  ☆17Updated last year
• bernerdschaefer / dotfiles
  My development environment
  ☆15Updated 4 years ago
• jmlowenthal / agda-c
  Verified C programming in Agda
  ☆16Updated 3 years ago
• harlanhaskins / Letter
  A simplistic, integer-only programming language
  ☆11Updated 8 years ago