sudan chapagain sudanchapagain
doing something on the information superhighway.
- kathmandu, nepal
- https://sudanchapagain.com.np
- @sudanchapagain.bsky.social
Stars
- All languages
- ABAP
- AMPL
- API Blueprint
- APL
- ATS
- ActionScript
- Ada
- Adblock Filter List
- Agda
- Alloy
- Answer Set Programming
- Apex
- AppleScript
- Assembly
- AutoHotkey
- AutoIt
- BQN
- Ballerina
- Batchfile
- Beef
- Befunge
- Bicep
- Bikeshed
- Blade
- Boo
- Boogie
- Brainfuck
- C
- C#
- C++
- C3
- COBOL
- CSS
- Chapel
- Cirru
- Clean
- Click
- Clojure
- CodeQL
- CoffeeScript
- Common Lisp
- Common Workflow Language
- Component Pascal
- Crystal
- Csound Score
- Cuda
- Curry
- Cython
- DIGITAL Command Language
- DTrace
- Dafny
- Dart
- Dhall
- Diff
- Dylan
- E
- Eagle
- Elixir
- Elm
- Elvish
- Emacs Lisp
- Erlang
- F#
- F*
- Factor
- Fennel
- Flix
- Fluent
- Forth
- FreeBASIC
- FreeMarker
- Frege
- Futhark
- G-code
- GAMS
- GAP
- GDScript
- GLSL
- Gherkin
- Gleam
- Go
- Gosu
- Grammatical Framework
- Groovy
- HCL
- HLSL
- HTML
- Hack
- Haml
- Handlebars
- Harbour
- Hare
- Haskell
- Haxe
- HolyC
- Idris
- Ink
- Isabelle
- JSON
- Jai
- Janet
- Jasmin
- Java
- JavaScript
- JetBrains MPS
- Jsonnet
- Julia
- Jupyter Notebook
- KerboScript
- Koka
- Kotlin
- LLVM
- Lean
- Less
- Lex
- LilyPond
- LiveScript
- Logos
- Luau
- MLIR
- Makefile
- Markdown
- Mask
- Max
- Mercury
- Meson
- Metal
- Mint
- Modelica
- Modula-2
- Mojo
- MoonBit
- MoonScript
- NASL
- NSIS
- Nearley
- Nemerle
- NewLisp
- Nextflow
- Nim
- Nix
- Nunjucks
- OCaml
- Oberon
- Objective-C
- Objective-C++
- Objective-J
- Odin
- OpenEdge ABL
- OpenSCAD
- Org
- P4
- PHP
- PLpgSQL
- Pan
- Papyrus
- Parrot
- Pascal
- Pawn
- Perl
- PogoScript
- Pony
- PostScript
- PowerBuilder
- PowerShell
- Procfile
- Prolog
- Pug
- PureBasic
- PureScript
- Pyret
- Python
- QML
- R
- RAML
- Racket
- Ragel
- Raku
- Rascal
- ReScript
- Reason
- Red
- RenderScript
- Rich Text Format
- Roc
- Rocq Prover
- Roff
- Rouge
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Sage
- Sail
- SaltStack
- Sass
- Scala
- Scheme
- Self
- Shell
- Shen
- Slint
- Smali
- Smalltalk
- SourcePawn
- Spline Font Database
- Standard ML
- Starlark
- Stata
- StringTemplate
- Stylus
- SuperCollider
- Svelte
- Swift
- SystemVerilog
- TI Program
- TLA
- TeX
- Terra
- Toit
- Turing
- TypeScript
- Typst
- VHDL
- Vala
- Vento
- Verilog
- Vim Script
- Vue
- WebAssembly
- Wikitext
- Wren
- XQuery
- Xtend
- YARA
- ZenScript
- Zig
- hoon
- jq
- ooc
- reStructuredText
- sed
4
results
for source starred repositories
written in Rocq Prover
Clear filter
The CompCert formally-verified C compiler
A work-in-progress language and compiler for verified low-level programming