tripleo1

tripleo1's Stars

• versotile-org/verso

  A web browser that plays old world blues to build new world hope

  Language:Rust4.7k3072156

• joreilly/PeopleInSpace

  Kotlin Multiplatform sample with SwiftUI, Jetpack Compose, Compose for Wear, Compose for Desktop, and Compose for Web clients along with Ktor backend.

  Language:Kotlin3k4364263

• Komodo/KomodoEdit

  Komodo Edit is a fast and free multi-language code editor. Written in JS, Python, C++ and based on the Mozilla platform.

  Language:Python2.2k973.8k303

• dcevm/dcevm

  Dynamic Code Evolution VM for Java 7/8

  Language:Java1.8k124166174

• hydecorp/hydejack

  A boutique Jekyll theme for hackers, nerds, and academics

  Language:SCSS1.4k29313801

• square/workflow-kotlin

  A Swift and Kotlin library for making composable state machines, and UIs driven by those state machines.

  Language:Kotlin1k23380102

• larmel/lacc

  A simple, self-hosting C compiler

  Language:C903392466

• hyochan/react-native-audio-recorder-player

  react-native native module for audio recorder and player.

  Language:TypeScript7267383215

• frol/completely-unscientific-benchmarks

  Naive performance comparison of a few programming languages (JavaScript, Kotlin, Rust, Swift, Nim, Python, Go, Haskell, D, C++, Java, C#, Object Pascal, Ada, Lua, Ruby)

  Language:C++547262768

• TravaOpenJDK/trava-jdk-11-dcevm

  dcevm-11 built on Travis

  Language:Shell407185456

• Gabriella439/nix-diff

  Explain why two Nix derivations differ

  Language:Haskell364112619

• libfirm/cparser

  C99 parser and frontend for libfirm

  Language:C341174938

• markhorn-dev/astro-sphere

  Astro Sphere is a static, minimalist, lightweight, lightning fast portfolio and blog.

  Language:Astro3244795

• hacspec/hax

  A Rust verification tool

  Language:OCaml198954121

• lelandrichardson/recoil

  Swift and Kotlin ports of React (Prototype)

  Language:Swift180906

• sjb3d/descent

  Toy library for neural networks in Rust using Vulkan compute shaders

  Language:Rust80135

• leanprover/LNSym

  Armv8 Native Code Symbolic Simulator in Lean

  Language:Lean6371918

• riscv/riscv-cheri

  This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.

  Language:Python532018429

• fuhsnn/slimcc

  C11 compiler with GNU extensions for x86-64 Linux, working towards C23

  Language:C483887

• fuhsnn/widcc

  Simple C compiler for x86-64 Linux able to build real-world projects including Curl, GCC, Git, PHP, Perl, Python, PostgreSQL etc

  Language:C31212

• codefrau/jasmine

  Croquet Jasmine (2004) on SqueakJS (WIP)

  Language:Smalltalk29622

• elipsitz/java-visualizer-intellij-plugin

  Language:Java17135

• Berkeley-CS61B/intellij-plugin

  Language:Java1227213

• draperlaboratory/ELFSage

  A toy ELF parser/validator

  Language:Lean12623

• OSPG/godedupe

  Improved and modern fdupes alternative

  Language:Go6460

• 0xCorolaire/SmartCards

  Predictive app helping announce on various card games and AI Games cards

  Language:Python4002

• musketyr/yuml-dsl-builder

  YUML DSL Builder (Groovy DSL Builder Example)

  Language:Java3302

• visual2000/DadaCards

  A nihilistic card game, to simulate folks having fun on computers in the old days.

  Language:VBA3312

• studoverse/FH-Complete-Docker

  Docker container version for https://github.com/FH-Complete/FHC-Core

  Language:PLpgSQL2401

• spullara/envelope

  Netty 4 based envelope for asynchronous protocols

  Language:Java1