Haskell

Pemrograman fungsional berkinerja tinggi, streaming, dan konkuren dalam Haskell

Game pengumpulan sumber daya + pemrograman

Bahasa smart contract Daml

Sebuah pustaka data streaming

Espial adalah server bookmark berbasis web sumber terbuka.

Alat benchmark baris perintah

Pustaka parser combinator monadik

Bahasa pemrograman dalam bahasa Turki di mana kasus tata bahasa dan modus merupakan bagian dari sistem tipe.

Antarmuka Aplikasi Web Haskell.

Mencoba memahami format file Tip Toi

Pustaka standar untuk Haskell

⚙️ SimpleXMQ - Implementasi referensi dari Protokol Pesan SimpleX untuk antrean simpleks melalui jaringan publik.

Kerangka kerja verifikasi runtime berbasis stream untuk menghasilkan kode C real-time yang keras.

Server HTTP dan command-line untuk mengelola UTxO dan dompet HD di Cardano.

Mesin pencari API Haskell

Sistem build Shake

Implementasi minimal untuk pemeriksaan dan elaborasi tipe dependen.

Pengujian otomatis program Haskell.

Framework pengujian untuk Haskell

Aplikasi desktop Scriptable untuk memperbaiki perspektif gambar

Crucible adalah pustaka untuk simulasi simbolik program imperatif.

Haskell diimplementasikan dengan kombinator

Graf aljabar

Pustaka inti Cloud Haskell

Konversi SystemVerilog ke Verilog

Cgrep: grep yang sadar konteks untuk kode sumber.

🌀 Pustaka standar Haskell yang aman, berkinerja tinggi, ramah pengguna, dan ringan

Bahasa fungsional linier bertipe statis dengan tipe modal bertingkat untuk penalaran program yang mendalam

HStreamDB adalah basis data streaming native cloud sumber terbuka untuk IoT dan sekitarnya. Modernisasi tumpukan data Anda untuk aplikasi waktu nyata.

Bilah status berbasis GTK untuk tiling window manager seperti XMonad