nasirhm / hello-rust-nix

Related projects ⓘ

Alternatives and complementary repositories for hello-rust-nix

• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 5 years ago
• hercules-ci / canonix
  Experiment in Nix formatting
  ☆22Updated 5 years ago
• kamadorueda / nixpkgs-db
  A database with packages from all versions, all commits and all channels.
  ☆18Updated 3 years ago
• zimbatm / nix-experiments
  ☆12Updated 7 months ago
• Xe / withinbot
  Within's Discord Bot
  ☆18Updated last year
• vmchale / rure
  Haskell bindings to Rust's regex library
  ☆18Updated 5 months ago
• SamuelSchlesinger / hs-ts
  A simple example of integrating TypeScript and Haskell.
  ☆13Updated 3 years ago
• Xe / helloworld
  A sample Rust+Nix project for a blogpost
  ☆29Updated 4 years ago
• gergoerdi / functional-mos6502-web-performance
  https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/
  ☆26Updated last year
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆15Updated 4 months ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• tazjin / yants
  Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants
  ☆37Updated 4 years ago
• taktoa / narfuse
  A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.
  ☆29Updated 8 years ago
• nmattia / sorri
  Just Add Water direnv support for the nix-shell
  ☆42Updated 3 years ago
• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 5 years ago
• fwcd / curry-language-server
  IDE support for the functional logic language Curry
  ☆27Updated 3 weeks ago
• glguy / toml-parser
  Haskell parser and printer for the TOML 1.0.0 file format
  ☆25Updated 4 months ago
• infinisil / nixbot
  ☆25Updated 2 years ago
• ziman / idris2-mlf
  Malfunction backend for Idris 2
  ☆12Updated 3 years ago
• nix-community / dreampkgs
  A collection of software packages managed with dream2nix [maintainer=@DavHau]
  ☆28Updated 3 months ago
• LightAndLight / ipso
  A functional scripting language.
  ☆17Updated last month
• ocharles / nix-build-cache
  Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.
  ☆24Updated 3 years ago
• evuez / slate
  Take notes from you terminal.
  ☆13Updated 2 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆26Updated 2 years ago
• yvan-sraka / contracts
  ☆21Updated 8 months ago
• rudymatela / express
  Dynamically-typed Haskell expressions involving applications and variables.
  ☆22Updated 8 months ago
• mattpolzin / idv
  Idris Version Manager
  ☆14Updated 10 months ago
• fricklerhandwerk / attr-cmd
  Build shell commands from Nix attribute sets.
  ☆14Updated 5 months ago
• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆34Updated 6 years ago