rajat98v

rajat98v's Stars

• matijapretnar/eff

  A functional programming language based on algebraic effect handlers

  Language:OCaml85841

• HigherOrderCO/Bend

  A massively parallel, high-level programming language

  Language:Rust17.2k423

• FreeTubeApp/FreeTube

  An Open Source YouTube app for privacy

  Language:JavaScript13.2k818

• LuxLang/lux

  The Lux Programming Language

  Language:Emacs Lisp1.7k50

• NativeScript/NativeScript

  ⚡ Empowering JavaScript with native platform APIs. ✨ Best of all worlds (TypeScript, Swift, Objective C, Kotlin, Java, Dart). Use what you love ❤️ Angular, Capacitor, Ionic, React, Solid, Svelte, Vue with: iOS (UIKit, SwiftUI), Android (View, Jetpack Compose), Dart (Flutter) and you name it compatible.

  Language:TypeScript24.1k1.6k

• amesgen/jsaddle-wasm

  JSaddle integration for the GHC WASM backend

  Language:Haskell10

• cobbpg/elerea

  A simple FRP library providing leak-free first-class streams.

  Language:Haskell1168

• tsurucapital/euphoria

  Dynamic network FRP with events and continuous values

  Language:Haskell5312

• HeyPuter/puter

  🌐 The Internet OS! Free, Open-Source, and Self-Hostable.

  Language:JavaScript24.9k1.6k

• demaledetti/concur-dom

  A Concur Haskell backend based on GHC JS backend and real DOM diffing

  Language:Haskell4

• ryan4yin/nixos-and-flakes-book

  :hammer_and_wrench: :heart: Want to know NixOS & Flakes in detail? Looking for a beginner-friendly tutorial? Then you've come to the right place! 想要学习使用 NixOS 与 Flakes 吗？在寻找一份新手友好的教程？那你可来对地方了！

  Language:Nix1.9k97

• sbcl/sbcl

  Mirror of Steel Bank Common Lisp (SBCL)'s official repository

  Language:Common Lisp1.8k318

• aardappel/lobster

  The Lobster Programming Language

  Language:C++2.3k119

• links-lang/links

  Links: Linking Theory to Practice for the Web

  Language:OCaml32042

• effekt-lang/effekt

  A language with lexical effect handlers and lightweight effect polymorphism

  Language:Scala31720

• tweag/nickel

  Better configuration for less

  Language:Rust2.4k89

• Milkdown/milkdown

  🍼 Plugin driven WYSIWYG markdown editor framework.

  Language:TypeScript8.8k389

• ziglang/zig

  General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

  Language:Zig33.9k2.5k

• nomeata/kaleidogen

  Grow procedual art

  Language:Haskell364

• raphamorim/rio

  A hardware-accelerated GPU terminal emulator focusing to run in desktops and browsers.

  Language:Rust3.5k111

• brookhong/Surfingkeys

  Map your keys for web surfing, expand your browser with javascript and keyboard.

  Language:JavaScript5.2k476

• koka-lang/koka

  Koka language compiler and interpreter

  Language:Haskell3.2k160

• roc-lang/roc

  A fast, friendly, functional language.

  Language:Rust4.1k291

• alt-romes/ghengin

  Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine

  Language:Haskell42

• gluon-lang/gluon

  A static, type inferred and embeddable language written in Rust.

  Language:Rust3.2k145

• onivim/oni2

  Native, lightweight modal code editor

  Language:Reason7.8k280

• onivim/oni

  Oni: Modern Modal Editing - powered by Neovim

  Language:TypeScript11.3k301

• tqdm/tqdm

  :zap: A Fast, Extensible Progress Bar for Python and CLI

  Language:Python28.4k1.3k

• rescript-association/rescript-lang.org

  Official documentation website for the ReScript programming language

  Language:MDX1.9k247

• logseq/logseq

  A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap

  Language:Clojure32.2k1.9k